[asubmit] Added a tiny bit more info on how to run it, and made some terminology prettier.