main
website/scripts/docsmg: Bug fixes (#10668)
website/scripts/docsmg: final version (#11501)
website/scripts: Add docsmg migration tool (#10658)