Removed special kludge to import tags from rxml.pike Rev: server/base_server/configuration.pike:1.427