Using Diffchecker to compare two Regelson translations