Thank you for the suggestion, @FiveSeventeen. We have edited the post accordingly.
We wish you a happy Europe Day!