oh you mean in

options_reference.html

.. yeah dunno, seems broken