This page of stuff, such as it is, is sometimes maintained by Mark Martinez, but it isn't
because he has too much time on his hands, it's because he likes to
avoid working on more important things. In any event, not much is
happening with these lists right now. Additions, corrections, suggestions, and more stuff
are always welcome.