[galaxy-user] Newbie: summary or metrics of Galaxy use & adoption?