distro-build/package-and-catalog: extra options for checksums & paths
racket/gui cocoa: make 'border handling more flexible

When buttons are hidden and/or disabled so that there's a change to
the only button that is visible, enabled, and has the 'border style,
then make it the default.