I’m completely new to the Inform 7 IDE and wanted to explore/play around with some of the extensions as a means to learn and just become familiar with the coding environment etc. I can see how to download individual extensions or even all 4000-odd at once, but the search box only seems to search the source or documentation. How do I find a specific extension from with the IDE itself to download? When I searched using Google and clicked the download button for the Extension I was looking for, it just opened in a new Tab on my browser as a text file(which confused me!).
I hope this isn’t too stupid a question. I really am new to this.