Improve web tracker performance

It has become clear that the web tracker's performance is largely driven by security_db.py. To make it faster, a bit more invasive changes are necessary. Before going down that path, this MR collects improvements to both clarity and performance in other parts of the code.

The most measurable improvement is the change to escapeHTML followed by the use of removeprefix.