re: #238 ggt

We’ll have to agree to disagree on this one.

You don’t agree that Lucifer is a great name? ////