On 2 Nov 2018, at 23:52, Ronald Wampler <rdwampler@gmail.com> wrote:

I submitted a PR implementing this via user defaults. I will work on figuring
out the best way to make this accessible in the UI.