3 ms·

I had assumed the name was from the 80s-bureaucracy aesthetic of the Loki TV series; TIL there was a (proposed) computer called Loki at that time.