Fix the wiki editor so that it can handle wiki page names that
include spaces.