* commit '2025d378':
  doc: Turn off noisy deprecation warnings in the option printer
Merged-by: Clément Bœsch <u@pkh.me>