fix search terms starting with \d+ in sh/log etc
[spider.git] / cmd / unset / registered.pl
2022-01-29 Dirk Koopmanheadline: RBN set/seeme