Two useful filters to improve the Pinboard and Filer
Release 30/1/95
By Andrew Kemp