Add checkbox to toggle minimal label appearance

Labels (triggers) now have appearance="minimal" by default.
Fix spec extensions