単に、あるときからDDKはWDKに名称変更しましたというだけのこと。