update for rename of users/jondowland.mdwn to users/jon.mdwn

diff --git a/doc/todo/clear_page_to_delete.mdwn b/doc/todo/clear_page_to_delete.mdwn
index 50ae246bb8116287c5f7d80b7136bbcccb6cd75d..6bab6ef271a0f148140ecf2fb32fc8da5fe55f05 100644 (file)
--- a/doc/todo/clear_page_to_delete.mdwn
+++ b/doc/todo/clear_page_to_delete.mdwn
@@ -4,7 +4,7 @@ cleared to be entirely empty (or only have whitespace)? Discuss. --[[Joey]]
  I'd say so; yes. A method of deleting pages via the web would be great; I
 can't think of a use of keeping blank pages around. What about vandalism --
 if someone blanks a page and deletes it and someone else wishes to restore
-it; or is undoing edits via the web a bigger issue? -- [[JonDowland]]
+it; or is undoing edits via the web a bigger issue? -- [[users/Jon]]
 
 Of course there's already a way to delete pages (remove plugin). So the
 question is really:
@@ -30,4 +30,4 @@ keyword and if there were no page editions since XX days. Here, I use pages that
 can be empty everyday and filled all day long. It does not make sense to me to 
 delete these pages :). --[[xma]]
 
-I was not aware of [[plugins/remove]]. I don't think another method is necessary -- [[JonDowland]]
+I was not aware of [[plugins/remove]]. I don't think another method is necessary -- [[users/Jon]]