Backup.app menu font size

Not that anyone cares about Backup.app any more. But I was noodling with it this morning, and it turns out to use a smaller font in its menus than every other app on my system.

Huh?