@gruber Menu bar? Bar? Not a bar but an « anchor » point …