Consider splitting up the document #3
Description
It's very long right now. However, on the website, the Table of Contents works fairly well (IMO). One small web page per extension might be nice but overkill? (Could be combined into one mega-page on the website anyway, through Jekyll collections?)