Observation
Currently in order to figure out what the target is for an ELF file, one would need to download it and check or check Ere or infer it from the zkVM name. It may be useful to modify the format to also display the target too in the binary name.