A world-modification plugin for Magic