SeaMonkey 2.53.7 has been released !!