I took the chance and replaced the manual quoting treatment with a call
to `help--docstring-quote'.

Michael.