various extensions to fix buggy favorites (Merklisten) and tag search