@DigDug2K @BrendanEich Yes, though I think that's a different thing from what @_JamesMGreene was raising, other than having the same name.