Replaces the previous push, whose pages were empty files with mangled
names. One page per docs/ file (20 guides, 12 ADRs, 1 proposal) plus a
grouped Home and sidebar. Doc-to-doc links rewritten to wiki page
names; links to repo files rewritten to the repo browser. docs/ in the
repo stays canonical.
