ESP32 Online Tools - No IDE Required!

Is esptools dot io official or 3rd party?