These zips are some I've archived from his site which looks to now be owned by GoDaddy. Enjoy.
TEKXnesis_Advanced_N9_vTHDx3.zip Main ROM. The is Android Pie as described in OP.
md5sum: a1f303907aee1e97830c1f966d0c2e81
sha1sum: 87864675e5cdbc1ead3d368e29149c6b6f9537f9
sha512sum: b1f437aa8cd208d186e7fc86e7bb21da08064f1f806d03d6a5e4e10e8bdc91fd139c12406d68ada85a1fe016393faaf6142fb229b1a06f710137e6e051f913c2
https://openload.cc/HaO8m76an2/TEKXnesis_Advanced_N9_vTHDx3_zip
http://www.mediafire.com/file/rnialloxez0ryi4/TEKXnesis_Advanced_N9_vTHDx3.zip
TEKXnesis_Advanced_Premium_DMOD_N9_PIE-9.x_ATT_EFS-CSC_vTHDx10_INT_TEKHD.zip ATT Pie Detonator for this ROM. I'm not sure if he included the TMobile one in the same zip, but something about his release practice a year ago or so leads me to believe this. Make sure you take a nandroid backup if you're on TMobile.
md5sum: 4783ae94060d280ab5661d09ae9baf72
sha1sum: 7e53b87d62808138fcf226805755c2b02bd08411
sha512sum: 2984394a687d800abcb032a6b57fe4d1ac48069672f3d35ca4a93dd1fab814216eff352fe7aff6533b984ba4a0b744f7a75f219c373542d84dd56df07823684f
https://openload.cc/yfg4nc63nc/TEKX..._N9_PIE-9.x_ATT_EFS-CSC_vTHDx10_INT_TEKHD_zip
http://www.mediafire.com/file/gnczu..._N9_PIE-9.x_ATT_EFS-CSC_vTHDx10_INT_TEKHD.zip
DETONATOR_S9x_N9_OREO-8.x_ATT_EFS-CSC_v3.2_INT_TEKHD.zip I believe it was this zip I flashed to Detonate DrKetan's Oreo ROM. Didn't see it in the mirrors posted above and figured I'd share it in-case it is of use to anybody..
md5sum: 67d0d21f4574ef0fca3a8d2b492c6612
sha1sum: 3ab6c0f92ef0f0f232edf7dacf3f9a7c31b3d730
sha512sum: eb67a4856907458408f89e7506003b371a27b8f1a7e12aed98c51ee9fa30e90bbd80da63fb99946e1c728eae7cc9c8c39811e3cf8522ec0309985b5024f6a340
https://openload.cc/F3m8n866n1/DETONATOR_S9x_N9_OREO-8.x_ATT_EFS-CSC_v3.2_INT_TEKHD_zip
http://www.mediafire.com/file/4x3bn...9x_N9_OREO-8.x_ATT_EFS-CSC_v3.2_INT_TEKHD.zip
More archived Detonators:
https://mega.nz/#F!GkgQmIKK!tKpLM7K7BAQoSjAUcMUxVg