Unlike the other BufferSettings, #+OPTIONS: specifies multiple options and we cannot just look it up in either BufferSettings or DefaultSettings - both have to be checked
see https://orgmode.org/manual/Export-settings.html