Update the planetmath.org file after discussion with Ray