Rename 'class-amp-options-manager.php'