I downloaded it from 8theme’s Downloads here: https://prnt.sc/1zzfejh the folder is “home red default” file options.json as I read in instructions
