They are already working on the encyclopedia and may or may not have an electronic version (currently no plans for one, but I asked about it and it’s not ruled out).
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.