chiark / gitweb /
move ZZ knowledge to misc-data.pl