DOCS: Update options.txt for the removal of compatible