Is Nights of the Jaguar considered techno now? I associate the genre of techno with, like, very repetitive rhythms.

It's a bit "bright" for a lot of techno, but it is very repetitive. Techno is a very broad genre with lot's of fuzzy edges. I'm suddenly reminded of Ishkur's Guide to Electronic Music: https://music.ishkur.com/

Genres are fuzzy. It opened the door for me towards Derrick May, Adam Beyer, Carl Cox, etc.

If you had to put a label on it, what genre would you file it under?