( This page is part of the NOVA system. )

nova/misc

Stuff that does not fit anywhere else.