Re: [galaxy-dev] Budgeting a production Galaxy instance