added v3.1.2 highlight bookmarklet and experimental ban+delete bookmarklet (currently broken)
fixed ban+delete script :)
added hammer links to every member profile link on the page; use with care!
bookmarklet to add more search results, not working yet
Merge https://github.com/ThrawnCA/phpbb-forum-helpers