Hide symbols tab with a configuration

This change is very small and seems ready for staging.