Anyway, it's about time this goes up.
Stuff in progress
The list of outstanding PDDs is also at a reasonable size. We have:
I've got the GC and bytecode format PDDs. There's plenty of stuff left for people, so if there's a piece of the internals design you want to carve out and make your own, do please drop me a line. (I'm on hold for a bit until I get my talks finished and formatted)