Weak argument for obviousness: As I understand it, the basic idea is to use a copying GC that pins everything pointed to by stack or registers. I had the same idea earlier this week, after spending a few days' spare cycles thinking about GC and having read virtually none of the literature.

Agreed on the clarity of presentation, though.