Release date: 03.01.2019

Features in this release:

Product

~~Fix bug with tabs not being indexed when quickly skipping through them, or opening many at once~~

~~give more credit to Vannevar Bush in Firefox/Chrome description~~