[trac.plugins] robotstxt.web_ui = robotstxt.web_ui