Is list@lists.pfsense.org definitively closed?