Fixes for egdi-public/egdi-documentation/-/issues #4, #5. #9, #10, and #11. Other link fixes, typos and editorial