[Unison-hackers] On making times=true the default

[Tõivo Leedjärv]

The old TODO.txt also has some tips on this topic.

https://urldefense.com/v3/__https://github.com/bcpierce00/unison/blob/2056f067c8a8b7e5c8d6bfaac9ab6102fe179c0e/src/TODO.txt*L314-L320__;Iw!!IBzWLUs!W-ejJ0PyCv7Z9sHUTCt0XA4hLm3SVA_LC0kCHxaVeBbRpbRFTUdfm4kgQHRZP6rdSh5kz-2Qw_Y07exsbKVG6nznDyA$ 

https://urldefense.com/v3/__https://github.com/bcpierce00/unison/blob/2056f067c8a8b7e5c8d6bfaac9ab6102fe179c0e/src/TODO.txt*L494-L495__;Iw!!IBzWLUs!W-ejJ0PyCv7Z9sHUTCt0XA4hLm3SVA_LC0kCHxaVeBbRpbRFTUdfm4kgQHRZP6rdSh5kz-2Qw_Y07exsbKVGNckS2P8$ 

https://urldefense.com/v3/__https://github.com/bcpierce00/unison/blob/2056f067c8a8b7e5c8d6bfaac9ab6102fe179c0e/src/TODO.txt*L620-L626__;Iw!!IBzWLUs!W-ejJ0PyCv7Z9sHUTCt0XA4hLm3SVA_LC0kCHxaVeBbRpbRFTUdfm4kgQHRZP6rdSh5kz-2Qw_Y07exsbKVG7lSbGWM$