IPAddress is not highlighted

[JokerGTS]

When I used version 1.0.5 for Arduino IDE, the IPAddress was highlighted, but when I upgraded to version 2.0.3, the IPAddress stopped highlighting. Is that how it should be?
Before update:

After update:

UPD:

I added the IPAddress KEYWORD1 line to the Datatypes section in AppData\Local\Arduino15\packages\esp32\hardware\esp32\2.0.3\libraries\WiFi\keywords.txt file and it worked, please fix it.

[me-no-dev]

IPAddress is part of official Arduino API (and supported in the IDE). Why it's not colored anymore is unknown. We surely did not change anything to cause it.

[JokerGTS]

Could you tell me if you have highlight in version 2.0.3?

[JokerGTS]

When I select another board package (eg ESP8266), the highlight works.