Aside: Can someone please tell me the name of the coding font in the OP?