Hide the smooth scroll option from the settings UI

See #1299 for context.