Might be a good idea to make the actual module name searchable as well. Earlier I had a moment when looking for jrDeveloper to load into my site.
Also, I tried to put this into the issue tracker as a feature request, but there isn't a + button to add it.
--
¯\_(ツ)_/¯ Education, learning resources, TEL, AR/VR/MR, CC licensed content, panoramas, interactive narrative, sectional modules (like jrDocs), lunch at Uni of Bristol. Get in touch if you share my current interests or can suggest better :)
updated by @ultrajam: 12/13/13 07:51:57PM