The above additions are all that I have done to mine, plus Duraloop AA cells to avoid battery leakage. This is the glass lens that I used:
http://www.lighthound.com/MiniMag-Mineral-Glass-Lens_p_1251.html
There also is a Borofloat one, but the Terralux TLE-5EX LED doesn't produce the heat necessary for its higher temperature-resistance. Here it is:
http://www.lighthound.com/MiniMag-Borofloat-Lens_p_1245.html
Those are the only three store bought modifications that I've done to EDC Mini-Maglite. I did lock out the stock on-off twist switch on mine though so it's always on and I control its power strictly with the Terralux TCS-1 tailcap switch. I like having mine turn on in its tightest spot setting, which is really the only setting that I use since the donut hole pattern on anything but the tightest spot always drives me nuts. To lock out the stock switch I just tightly wrapped some single strand craft wire around the switch, right underneath the black plastic "DO NOT REMOVE" disk. Now I can fully tighten down my Mini-Maglite's head and the power stays on until I push the tail cap switch.
Note that if you lock out your stock switch like I did, there is the possibility that the light can come on accidentally if the tail cap switch is pressed. I EDC my Mini-Maglite in a belt holster and I've never had that happen yet though. The TCS-1 switch has a pretty stiff spring in it so you really have to bump the light hard at the exact perfect spot to accidentally turn it on.