Added placeholder for option to show counter
Added a function that returns the preference of a user for displaying the ruleset counter
Merge branch 'master' into issue9535
Syntax error fixes
Added option to disable rulesets applied counter.
Localize show counter label
Merge branch 'master' into issue9535
Propogate localization to all dtd files.

Translations are still needed.
Remove temporary folder
Fix typo and update comment
First working version of switch planner
Add details page
Merge branch 'master' of https://github.com/EFForg/https-everywhere into switchplanner

Conflicts:
	chromium/background.js
Merge branch 'master' of https://github.com/EFForg/https-everywhere into switchplanner

Conflicts:
	chromium/background.js
Add devtools panel with enable / disable switch, make recording per-tab.
Improve dev panel implementation and switch to tab-based tracking of resources.
Remove obsolete TODO
Merge branch 'master' of https://github.com/EFForg/https-everywhere into switchplanner
[WordPress] Fix comment typo
[mongoDB] Enable

New cert.