Hacker News Reader

CoreOS Tectonic is not trademarked and is not unique.

Looks like OP's project started around November. I believe that's around when CoreOS Tectonic was released as well.

I don't think CoreOS would care about trademark of this. It may just make people confused, that's all.

As discussed elsewhere in the thread, Tectonic is actually trademarked by CoreOS.