Good news for everyone in Korea: October 9, the “Hangeul Day”, is re-designated as a holiday beginning next year.