官庁の筆墨消耗は常のこと、このような小事を大げさに取り上げる必要はない。