> On 21 Feb 2018, at 22:49, RV <retr0yrus at gmail.com> wrote: > > 1) is there a way to search the mailing list archives by us, subscribers? On search engines, one can add typically something like "site:gmplib.org".