* Remove the (origins of the) copied ports manually (as the new ones are repo-copies of these, no history is lost). * Fixup index in games/Makefile Sorry for the breakage. Pointy hat: tcberner