[galaxy-dev] Tool and dynamic <options>