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