using https://news.ycombinator.com/item?id=42324444 you could make a better joke

Also I was wondering about the source of the original quote, https://quoteinvestigator.com/2018/03/20/devil/