WARNING: Error in "ghc-flag" directive: unknown option: "since"
/code/ghc-dev/docs/users_guide/using-warnings.rst:1547: WARNING: Error in "ghc-flag" directive:
unknown option: "since".
.. ghc-flag:: -Wunused-record-wildcards
spotted during ./validate
of current master