hi everybody,

I have a patch to contribute to the website. I have an account in the
git repo, but I cannot push.


I am attaching the patch.

thank you,



-- 
--dmg

---
D M German
http://turingmachine.org