When we have bad page names that don't resolve from within the wiki we do SQL queries to change them. (i.e. SELECT page_id, page_name FROM page WHERE page_name LIKE ':%'; UPDATE page SET page_name='name_w/o_colon' WHERE page_id=#;)