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

* commit 'a3ba2ea7251756425ae4a076126a1d73de6fe0a4':
  docs: quotes in comments apparently crash the server