I cleaned up a few utility Python scripts for the GitHub:

  • fetch_python_docs.py sets up a local mirror of docs.python.org on http://localhost:8004 for offline reference. It can also provide and enable a systemd unit file, so you can run the script once, bookmark the local URL, and forget about it.
  • typography.py (which I mentioned here) checks for ASCII typography that can be better rendered as Unicode. For example, it recommends changing the hyphen in the page range 278-81 to an en dash.
  • dated.py applies my obnoxious filename convention to create a dated working copy of a file—useful when collaborating with people who aren’t comfortable with version control systems.