Replaces occurences of the word 'short' with the proper terminology.
- (2016-12-20) A Duan: Now that I have had it installed for a while, I have found that this extension is indispensable. It works very well, and has only rarely fallen Jonathan of its purpose.
- (2016-12-18) Kevin Xia: Awesome
- (2016-12-09) Jonathan Xia: gdi gokul