Le script d'installation de Discourse dev pourrait nécessiter une mise à niveau

[GameDungeon]

I will note, that in this case, the PRs exist, they just are not being merged.