OK, I'll look into it unless someone beats me to it.
No clue about grep-final, I'll look at it.

-- 
Pierre Neidhardt
https://ambrevar.xyz/