Added text about WebIDL