We should instruct the agent skills for writing docstrings that we should always use single backticks, not double backticks for referencing code names.

This came up in #1663