I just installed the latest Arduino IDE, the "ESP-extension" for it, then copied this tool to the folder that is specified in the readme. The tool shows up in the Tools menu, but there is no option to select anything related to OTA, see screenshot below:

I'm developing for an ESP-12 board, then environment is Windows 10 Pro 64.
What am I missing?
Thanks for any help in advance!