The binary you download depends on OS you want to export to, but yes it's exact copy of tic executable, also we have version without editors in pro version.
Try to look at the https://github.com/nesbox/TIC-80/blob/main/.github/workflows/build.yml file where we have all the build configurations and options for all supported OS.
I know, it's disappointing, even for me and I'll try to improove this part in the future, sorry for that.