[psifertex]

We know! Similarly, the GH repo is actually the Decompiler Explorer:

https://github.com/decompiler-explorer/decompiler-explorer/

[account42]

I like the name, it's cute and a nice homage.