HTTPS-Everywhere vanished during update
https://blog.torproject.org/blog/tor-browser-601-released#comment-187621 has a concerning bug report. It says HTTPS-Everywhere has completely disappeared during the update. We should find out what happened and fix the problem.