I think you're correct. It's a webserver and they don't seem to release binaries