Hi Bjarni.

On Tue, Sep 30, 2025 at 10:36:07PM +0000, Bjarni Ingi Gislason wrote:

  A patch is superfluous

sed -e '/^\\\}$/ {s/^/./}'

This would also work; thanks!  After all, what I need is something I can
run to get the page changed.

On the other hand, I think I prefer Branden's approach, which entirely
eliminates the low-level roff(7) there.  What do you think?


Have a lovely day!
Alex

-- 
<https://www.alejandro-colomar.es>
Use port 80 (that is, <...:80/>).