HI all - Thanks, Toby for your suggestions on helping. I'm doing a lot of the cleanup by myself since I can understand Erik's reluctance to do a SQL search and replace. Out of curiosity, has my old name been replaced in article histories? Anyway, if anyone feels like helping do the changes by hand, that would be great. Otherwise, I'll keep going, and perhaps if someone runs into my old name, he or she could just change it to [[User:JHK|JHK]]? Thanks bunches!
Jules
HI all - Thanks, Toby for your suggestions on helping. I'm doing a lot of the cleanup by myself since I can understand Erik's reluctance to do a SQL search and replace. Out of curiosity, has my old name been replaced in article histories? Anyway, if anyone feels like helping do the changes by hand, that would be great. Otherwise, I'll keep going, and perhaps if someone runs into my old name, he or she could just change it to [[User:JHK|JHK]]? Thanks bunches!
I'm not sure who all worked on this -- it mostly wasn't me -- but there are now no text search results for "Hofmann Kemp", and no links to any page with "Hofmann Kemp" in its name. (There may be scattered references to "Julie" or the like, but these would be difficult to identify.)
Good job!
-- Toby