Steven P. McNicoll wrote:

LINUS and WDSTK are possibilities, they're the correct format and not
currently used anywhere else. But LUCY is too short.

We'd just have to call it LLUCY.

George Patterson
Coffee is only a way of stealing time that should by rights belong to
your slightly older self.