[galaxy-user] does Galaxy record tool versions?