Upgrade to HTTPS Everywhere 5.1.3, uses pure JSON instead of sqlite

Per discussion in #ios slack this morning, @bbondy suggested that sqlite is probably faster on Android after all. So I made a sqlite option available for HTTPS Everywhere 5.1.3 at https://s3.amazonaws.com/https-everywhere-data/5.1.3/httpse.sqlite.

it contains two tables, rulesets and targets

rulesets has columns id (primary key) and contents (the ruleset string like before)
targets has columns host (the hostname) and ids (the applicable ids in rulesets)

It is basically a port of httpse.json from JSON to sqlite, so most of the code there should still apply if you already started updating from the 5.1.2 file format (rulesets.sqlite + targets.json) to the 5.1.3 format (httpse.json).

brave / link-bubble

Upgrade to HTTPS Everywhere 5.1.3, uses pure JSON instead of sqlite #692