doc: Turn off noisy deprecation warnings in the option printer