Document PREFIX-overriding.