Board Thread:Technical Updates/@comment-26339491-20191203204132/@comment-9605025-20191210234006

That seems like a rather frivolous reason to add a user preference.