>> These snippets fail to evaluate. Could you check?
>
> I can confirm.  Would be worth fixing.

I have opened a separate bug report
https://debbugs.gnu.org/cgi/bugreport.cgi?bug=40235 for this.

> Applied, thanks!

Thanks!