Gecko WebIDL is a parser and writer for WebIDL files with Gecko-specific extensions and...