In [emacs-w3m:13343] On Sun, 14 Apr 2019 21:08:08 -0400, Boruch Baum wrote: > Should I make a PR out of this, or wait and include it in something > else, or some other method? No need to do that. I've installed the doc fixes. Thanks.