Re: [galaxy-dev] deprecated 'page' tag in tool xml - more than deprecated?