[PunchTornado]

so make it disabled by default, but keep it as an option for some users to enable it.

how many users will go to enable it? very few. you shouldn't pollute the settings page with rarely used customisations.