Text this: Short course in spherical trigonometry