> Great work, Lassi. Unfortunately, I had to neglect this (and other
> projects) due to job applications.

Thanks, and no problem at all. Take as much time off as you need. Good
luck with the job hunting - hope it works out well :)

> Either way, this is a good
> opportunity to bring this up: Should we set up a SchemeDoc website?
> We could host this table, as well as the bibliography pages we're
> currently hosting on our personal websites.

Good idea.

We can set up doc.scheme.org (or docs.scheme.org - one should be an
alias to the other). More scheme.org news coming soon..