Support location-notes via app_config (for math closure)
Spec cleanups