@LuisMendo It seems like symbolic no longer produces stray output with sympref quiet on, so I'm no longer executing catalan before matl, reducing startup time by roughly a second. Please let me know if this causes any issues.