fixes #11: add a search box to the header on the player page