Our own version of Netflix's "Chaos Money" is named "Eris" for precisely the reason mentioned in your first footnote.