Change how issue filtering works; improve server_ghost_issue description message.