Hi Gordon,
Good to have another path leading to the same conclusion.
This puzzle has a path giving, using efficient sets of rules, to the "loki pattern".
This does not close the door to a better path as experts can do, but it is in line with my "proof".
Cheers
EDIT you are interested in "double THs",
in my work, most of them come as "oddities". I'll keep an eye on such cases