headingLevel should be updated to indicate that it also affects Android.

This relates to issue #179678, which reported that the header property (which sets Flag.IS_HEADER) no longer works on Android after the code was changed to only check headingLevel > 0 instead of also checking IS_HEADER.