Transcribed 5 up to 4.2
Additions to transcription of 5; O as operatorname in all files; protocols in 82
A bit hack-y, but got section links and sectional navigation working; will fix it up later
82 to presentable rough draft