They have: there is a "verbatim option" and also they have never removed doublequotes from their documentation or told us it has been discontinued or put to use

They have: there is a "verbatim option" and also they have never removed doublequotes from their documentation or told us it has been discontinued or put to use for something else like the plus operator (which IIRC meant "make sure this particular word is included"). They just ignore both verbatim option and the doublequote operator which is why I conclude they (as an organization, not as individuals) are incompetent and/or arrogant.