The search box on a board used to be able to return ticket IDs but since a day or so, this has stopped working. The ticket is visible on the board and was findable before, has something changed in the last 48 hours or so that now means ticket IDs cannot be searched on, in a board search?