pull down to refresh

This is pretty sad to see. End of an era. I hope some enterprising devs can continue the mailing list legacy in some similar way.