Lean merges rewritten Verso docstring parser, unblocking automatic formatting