Is KConfig symbol CONFIG_ESP32_TIMER_TASK_STACK_SIZE undocumented intentionally?

[rlneumiller]

I discovered it while looking for ram and was able to recover ~1.5k.
Based on my code review, it looks like esp_timer would not need more than 512 bytes of stack.
Testing in my use case it is using 176 bytes, which suggests that 512 bytes should be plenty, unless I'm overlooking something.