Extra files not referenced in install.txt for Supporter

Hey guys, I was installing the supporter plugin and noticed there are 2 files not referenced in the install documentation.

widget-supporter-badge.php and supporter-plugins.php

are these extra files that are optional or do they need to go into the mu-plugins folder as well?