By the way, I worked around this by modifying ~/.scid5.2/config/options.dat directly
macOS: Options → Preferences… raises "invalid command name .preferences.c.f.3.n.number.popdown.f.l"