I think this is the right decision. WordPress is evolving and the plugins that snap in to it are becoming more complex. I think it's completely reasonable that they drop obsolete browsers to make sure that it can continue to develop and maintain it's status as the best CMS.