Thread:Extension talk:CategoryTree/How can I get CategoryTree to work for html pages?