wcaleb’s Twitter Archive—№ 8,225

@benmschmidt I worked on a similar prob recently helping some students number Markdown headers using a Python filter gist.github.com/wcaleb/03609b0f9eade5843c88