정말 맞는 말씀입니다. 이를 변경하기 위한 PR을 올립니다:
(Twitter는 正體 대신 繁體를 사용하므로, 그 기준을 따랐습니다.)
@gerhard, 이 정도면 모든 변경 사항인가요?