Pourquoi le bouton Erasme et Information ne sont plus confondus sur le site de dev ?

https://erasme.dev.erasme.org/