well if you look at the info you posted and the first sentence of the post you quoted, my answer would be 'none of the roms you listed'

.
To get perfectly back to stock to receive OTA's again you need: stock rom of your region, stock recovery of your region, stock kernel of hyour region, stock '/data/preload' of your region. The rom you can flash from TWRP-recovery, then the other files you can flash from fastboot mode. Afterwards relock your bootloader and you're as stock as you're gonna be.
The only files around here on this forum seem to be from some chinese region or from the Europe-international region, and I believe the very very very first stock AT&T Rom, but I'm not sure about all this.
all I know is, if you didn't backup your stock recovery/boot/preload you might be in for a hard time trying to get back to stock-so-i-can-get-OTA.
I managed to get my HTC__E11 phone back to stock-for-OTAs at least to upgrade from 4.3-sense5.5 -> 4.4-sense5.5 -> 4.4-sense6. No clue how well it will work on the next OTA whenever that might be. But it was hard and required a lot of patching and tweaking of the OTA files till finally the last OTA executed without modifications

.
I was lucky that my phone was the same region as some of the posted stock-roms and OTA's around here, otherwise I would have problems.
If you are completely s-off and supercid you might be able to do more, but once again: no clue.
If you are _almost_ stock, the OTA files can be edited easy enough to be executed through TWRP and that might be enough for you. If your phone tells you there is an OTA, let it download the zip file, copy it to your PC without executing it, editing the update script so it removes any CID checks. If you don't have your /data/preload files anymore, you can remove the patches and checks for it from the script. Finally, remove the 'firmware.zip' setup at the end of the script. Zip the whole OTA up again into a new zip file and try to run it from TWRP. If it fails, try to see on which file and try again after making sure that file is absolutely stock. After the OTA zip flashes, you can flash the firmware.zip from fastboot-bootloader mode, and after all is done you can reflash TWRP to get your custom recovery back. Next OTA, you gotta do it all again

.
Honestly, if you didn't backup all you could before starting, you might be in for a rough ride to get back to stock.
For what it's worth, my phone got sent to HTC directly, modified and custom ROM and all, and I just got it back in the same state without anything done to it or different costs. Can't guarantee that every service center tries the same though.