Yes, HTTPS Everywhere is more robust. The straightforward route taken here is closer to Smart HTTPS. But better just use HTTPS only mode and disable it whenever a problematic site appears.