The first two patches simplify documentation extraction and remove quite some code, the third patch adds an extensions topic to the documentation, and the last patch provides a fallback list. -- Cédric