So rather than remove the option, shouldn't we change it to a numeric option and refer to that same javadoc page in the docs?