Thread:ThePokegeek5000/@comment-30201944-20190414162856/@comment-30201944-20190415002111

That's not a bug as you don't use editors to edit your preferences. Also, if you already have it on source why would you want to change it?