World Typing Day is observed