Simplify the enabling and disabling of the Terminal.app proxy icon