To be fair to the TK ops staff, the MAN NOTAM was timed at 0918 so there's no way they would have known about it. But given that the "no div" NOTAM had been issued plenty of times already last week, perhaps they should have been more aware that something like that may have come into force given the forecasts for most UK and Ireland airports.