[off-topic] Re: [GiNaC-list] well, here's the latest story on recursive grep