Surely it would place a massive asterisk on all the trophies won during his time at Man City? In future discussions on the greatest manager would this be a talking point which stains our perception on him? Or will he still be lauded as the greatest by some despite the wider context?
All of the titles already have an asterisk above them, they should be null & void when charged.