2023.07.04

Updated handling of different menu bar sizes, to cope with Macs that have a camera housing ("camera notch").