Support searching for abbreviations of class names

[lectrician1]

searching for 2k2 should return ECE 20002

[unkn-wn]

I think the biggest issue with this is that we would need to find out all the abbreviations of all classes, and it’s a bit iffy when trying to add specific class search terms

But if we get enough abbreviations, we can probably add some of them in

Thanks for the suggestion!