Remove unused options for style clarity.

The world of IDEs, how I don't miss thee.