I spotted two mistakes: it says somewhere "thought it need not be red"; should be "though". Proposition 4.022 should be called 4.002, according to my edition

I spotted two mistakes: it says somewhere "thought it need not be red"; should be "though". Proposition 4.022 should be called 4.002, according to my edition and another edition on the web I checked. Perhaps the Gutenberg edition you used is not as properly proofread as one would hope. Mentioning the source on the site is probably a good idea, for those not inclined to open up the source and hunt for it.