Presently it seems tags are case sensitive, it would be nice if a user could opt in to disabling case sensitivity (thus allowing BashScript and bashscript to be the same tag) and/or bulk convert tags to lowercase en masse via the settings screen periodically... (id assume the latter simpler.)