そういや、テレビニュースで”朝鮮民主主義人民共和国”と正式名称をわざわざ付けなくなったのは何時頃だったかな……。