Notes on WebIDL NG