Great work, Lassi. Unfortunately, I had to neglect this (and other
projects) due to job applications. 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.

~erkin