FunWiki Migration

FunWiki has migrated to a NEW GENERATION available at: https://www.cs.hmc.edu/~funwiki/funwiki/index.cgi?FunWiki