Take into account renamed extension id when launching

[shoffmeister]

trafficstars

[lnicola]

I think it's fine to replace the old extension id, we don't support such setups.

[shoffmeister]

Done and signed my commit, too. (The initial edit was through the Github web UI, no less ...)

[lnicola]

Thanks!

@bors r+

[bors]

:pushpin: Commit fd58459373c285df53e6254782e83d70440f192e has been approved by lnicola

It is now in the queue for this repository.

[bors]

:hourglass: Testing commit fd58459373c285df53e6254782e83d70440f192e with merge ebc140ecd7283e82a3074719e5a1ec5018d8011f...

[bors]

:sunny: Test successful - checks-actions Approved by: lnicola Pushing ebc140ecd7283e82a3074719e5a1ec5018d8011f to master...