Rearrange the planetmath.org file a bit