最近、授業の準備で調べものをしていると、「協力してHTML5の規格を策定していたW3CとWHATWGが、異なる路線を歩むことになった」旨のニュースを目にしました。