Thank you! It's hard to transfer Notion pages to Github, but I allowed commenting on Notion so everyone can suggest changes and add stuff.