Update planetmath.Org file after oct 19 discussion about what people see on PM