[scripts] Workaround “narrow” python builds
[build] Add missing includes
[doc] Disable building Texinfo docs again

They are so outdated, I need to clean them up first.