Weird - I just set text scaling to 80 or 90 and it jumps to 100.
Is there a public source repository or other good thing or are hackers just extracting python from the .deb and using diff?
I'm interested in seeing the DateTime clock and the Decimal clock be configurable such that I could put an arbitrary strftime-compatible string in to get whatever date/time formats I want.