We can't rename options like this, really, as it won't migrate them.