Some how-tos (including potentially circular ones on setting up git)