Re: [galaxy-user] How to determine version of Galaxy from main page