These impose additional requirements on the traversal code that we want to
avoid for Gecko (for now).