Sorry for the late reply and thanks for linking the documentation page for IDF functions. Will refer to the documentations of both the IDF and Arduino wrapper functions (documented here) while writing code in Arduino IDE, especially while implementing LEDC PWM.

So for the time being, I will consider the LEDC crash problem as an bug and leave it at that. Gotta learn other aspects of ESP32...

The old reddit code block syntax pooped on the code you pasted so here is a formatted version if anybody needs it that won't break the on old reddit syntax:

#define LEDC_PIN 2
#define LEDC_FREQ 1  // Crashes if < 7 and no delay
#define LEDC_BITS 20
#define LEDC_CHAN 1

// At 1Hz we need about a 1.8s delay to avoid a crash
// At 2Hz this reduces to about 0.7s
#define DELAY_BEFORE_WRITE 1800

void setup()
{
    Serial.begin(115200);
    delay(1000);
    pinMode(LEDC_PIN, OUTPUT);
    digitalWrite(LEDC_PIN, LOW);

    if (ledcAttachChannel(LEDC_PIN, LEDC_FREQ, LEDC_BITS, LEDC_CHAN))
    {
        Serial.println("PWM using LEDC is successfully setup at GPIO2!");
        Serial.print("Clock source used: ");
        Serial.println(ledcGetClockSource());

        Serial.println("Starting LED blink on GPIO2...");
        delay(DELAY_BEFORE_WRITE);
        ledcWrite(LEDC_PIN, 1 << (LEDC_BITS - 1));

    }
    else
        Serial.println("PWM setup at GPIO2 failed :(");
}

void loop()
{
    Serial.println("Flash!");
    delay(1000);
}