SeaMonkey version 2.53.1 now officially released!