# The presence of this file tells our software that this plug-in is
# integrated.  In other words, the user can't choose to unselect it.