[galaxy-commits] galaxy-dist commit d46ccc650084: Eliminate check_user flag from tool menu and workflow methods.