infodesk: Fix help text in ticket lookup