Comment From: philwebb

We're not sure this is really necessary anymore, we haven't had any recent reports at least. Closing for now, but we can reopen if necessary.