This is a plugin which plays music and sounds from Mario video game on various IDE actions.
See this youtube video. To enable/disable music or sounds use settings in Main menu -> Tools -> Friday Mario
.
Initially created using LivePlugin at SECR 2014.