[Bug 55816] Disgen 2023: Entries of top menu bar are not displayed.