should be called before the first define[-syntax]-with-contract expression to initialize automatic documentation.