Werner LEMBERG Tue, 08 Jun 2021 13:46:17 -0700
> I've made the following change to the manual. [...]
Looks good, thanks! Werner