Personally I've always followed the PH list by RSS feed rather than email, but it turns out Google Groups have quietly stopped supporting RSS feeds, so I wouldn't have even known there were messages if I hadn't been keeping up with coal and gone to manually check when they were mentioned here.