update documentation: prefer control-symbol-cartouche form of "cite" antiquotations;