Hi, could you let me know what the decision to change the name is based on?
Just because one bus doesn't go to the stop anymore, doesn't mean that the name of the stop changes. According to De Lijn it is still called Sint-Michiels 't Speelhof

Thank you for letting me know!