this fixes #297 and #91
this fixes #302
do not highlight when filter is "*"
this fixes #301: many silly bugs broke local mirroring
new revision
translation work from Crowdin
new revision
this fixes #306
this fixes #210: screw getBoundingClientRect(), I will just compute it manually
see if this fixes #307
this fixes #305
update of third-party assets