Will any of the notes be published?
No, but an encyclopedia will come out in about a year.
If you are viewing this on github.io, you can see that this site is open source. Please do not try to improve this page. It is auto-generated by a python script. If you have suggestions for improvements, please start a discussion on the github repo or the Discord.