How to change ESP-IDF version when using the Arduino framework?

Development Platforms
1

Hi everyone. I’ve seen that 6 days ago the arduino framework was updated to finally support the latest ESP-IDF stable version 4.2. However, the changelog says that the default ESP-IDF version when using the Arduino framework is the 4.0.1. Does anyone know how to use the 4.2 version? I couldn’t find anything on the docs.

Here is the changelog of the espressif32 3.0.0 update:

Thank you in advantage.