You can find it in the "Local Settings" section in the settings. If you are on mobile, you have to scroll down from the settings block. Also you may need to clear caches.
Note:
These options are kept on the device and are not synchronized between devices.
This is a really clever solution!
I see that the UI and backend have been modified to support these changes.
Do you plan on maintaining forks of those repos, or is this more of a quick fix stopgap?