Pre-launch verification and fixes for the docs site, tracking toward the first public release (gtm.rs#7).