Comment by MrGilbert

Might be worth adding that piece of information to the original article, maybe including a timeline of events.