Update src/jlm/universe/pancake/PancakeWorld.html