On the documentation tab it says "for more extensions, visit: inform7.com/write/extensions/. Lots of stuff there, which is pretty cool. Then I went to this post: Inform 7 6L02 Third Party Extension Compatibility List. It points me to GitHub. Then says: “Some extensions have been fixed and submitted to this github repository, but they have not yet been listed in either of the official extension libraries.”
“Either” of the official extension libraries? So there are two official extension locations? Is that referring to GitHub and the extensions site? It seems to imply that GitHub is not official. I saw another post that talks about a “Public Library” of extensions as well but it wasn’t clear if that meant the Inform site or something else. It sounds like if I want stuff that’s in the best working state, I should focus on GitHub. That true?