Sphinx extensions I use for my lecture notes at Austin Community COllege