It was hard getting all these done, but now this webpage is all set — docusaurus is configured, auto CI is up, we have an organization account on GitHub to host this site... I'd say we are good to go!