Documented local extensions.