On Mon, Nov 02, 2026 at 03:46:45PM +0100, Louis Guillaume wrote: > Can we add this very useful auxiliary package as a PKG_OPTIONS.groff? Or > should it be a separate package? Separate package, please. Thomas