Adding some header info pertaining to name of file and author.
Fixing a syntax error in comment.
556851.
This change to web/index.html has been sitting around, uncommitted. It's
Adding crush washer and outer washer for minor pivot. Also adding inbus.
Adjusting the minor pivot screw thread and chamfer angle.
Adding the minor pivot screws for red cross.
Renaming clearance/red_and_green.py to clearance/red_and_green_xsect.py and