A cut-down version of the extensibility flag description (specifically for
GIMPS) is now included in section C.3.2 of version -06.