How much control should theme designers give end users over the design of the WordPress theme from the theme settings page?