I managed to mess things up, so here comes 1.25.7...