Originally Posted by Galaxy
has agreed to release the following titles into the public domain. They are released on the proviso that they are distributed as is and in their complete form.
That's freeware, not public domain. If they were public domain, he'd wave all rights to them and you could distribute them how you wanted, decompile them, hack about with the source code, recompile them and distribute those, too.
Good news anyway, though.