This is pretty minor, but:
1. I just noticed that both grdc.c and grdc.6 (in src/games/grdc)
say "Copyright 2002 Amos Shapir. Public domain." The US
Copyright Office says[1], essentially, that copyright and public
domain are mutually exclusive categories.
2. I found a message from Theo in the archives from 2003[2] listing
grdc as one of the items of which the license was clarified
during an audit.
3. I vaguely remember that it may not be possible to place
something in the public domain in some countries.
Is the somewhat strange notice because of #3 (or is #3 even true)? Or
is the notice misworded? Or...?
[1] http://www.copyright.gov/help/faq/faq-definitions.html
[2] http://marc.info/?l=openbsd-misc&m=104570938124454&w=2