Add script for fixing text encoding
Improve cabal upgrade script
Change SDO update time