Change theme to Thinny 2, add initial proposal