Merge "docs: quotes in comments apparently crash the server" into jb-dev