No we haven’t. Our decision is to pay off the mortgage as slowly as possible. The interest rate on the mortgage is 3.5% so if inflation rises significantly, we will be paying negative real interest rates for much of the duration of the mortgage.
Historically inflation is approximately 3% on average, also, re-financing your mortgage could be very advantageous for you, the lowest rates you can find right now hover around 1.7%.