On Sat, Nov 02, 2024 at 10:36:20PM +0100, Alejandro Colomar wrote: > This is quite naive, and will not work with pages that define their own > stuff, since this script is not groff(1). But it should be as fast as > is possible, which is what Colin wants, is as simple as it can be (and > thus relatively safe), and should work with most pages (as far as > indexing is concerned, probably all?). I seem to be being invoked here for something I actually don't think I want at all, which suggests that wires have been crossed somewhere. Can you explain why I'd want to replace some part of a fairly well-optimized and established C program with a shell pipeline? I'm pretty certain it would not be faster, at least. Thanks, -- Colin Watson (he/him) [cjwatson@xxxxxxxxxx]
