Update the `lgtdoc` tool to workaround a Lean Prolog parser bug