Yup. Tried again from another connection and it was in €. Before posting the previous comment, I verified that there was no currency selector on the pricing pag

Yup. Tried again from another connection and it was in €. Before posting the previous comment, I verified that there was no currency selector on the pricing page, so there are two separate issues, but not the one I initially pointed.