re: upgrade domino 6.5.6 --> 8.5.2