michael@0: A WebIDL parser written in Python to be used in Mozilla.