Public documentation repo
v20/main
Remove documentation tool cache
Add machine and robot setup manuals
Normalize text-file encoding to UTF-8 with BOM; add .gitattributes
Unify HTML and PDF documentation builds across all sections
Restore previous portal while investigating Pages publication