Hi Graham, thanks for bumping this, I’ve applied this change today as that feature fell off the truck in our recent Plugin updates; it was there just wasn’t connected to the correct WordPress Option name.
There’s an early release in your Inbox with the above change that will make it into the 2.0.7 Plugin update this month. 🙂
