This milestone is here to work around a supposed bug in GitLab, possibly this one, which makes milestones belonging to child groups not being displayed unless there exists a milestone in the current group.

2023-10-60: Let's see if things are working without it now.