Me too. If the manual install builds are available for download, that’s a strong indication that the OTA builds are available, too.
Dev should be available OTA …
Stable manual install isn’t there yet, so I wouldn’t bother looking OTA.
The relationship of the availability between the two is probably not very exactly 1:1, that’s why I would say “strong indication” .