Linux Mint už po incidentu také nasadil HTTPS