On 27/01/21 16:45 +0000, Jonathan Wakely wrote:
>I'll regen the docs [...]

Done. Regenerating the docs needed the attached fix.