Cut out MQs, as they moved to the MQ spec. Add an <extension-name> production.