Python scripts

I cleaned up a few utility Python scripts for the GitHub: &#xA; &#xA; fetch_python_docs.py sets&#xA;up a local mirror of docs.python.org on&#xA; http://localhost:8004 for offline reference. It can also provide and enable&#xA;a systemd unit file, so you can run the script once, bookmark the local URL,&#xA;and forget about it. &#xA; typography.py (which I mentioned&#xA; here ) checks for ASCII…