I’m posting this primarily so I don’t lose my settings (they are on a piece of paper on my desk).