Morrus Well, that was fun Staff member Nov 3, 2019 #11 Ah, NOW I understand the question! OK -- yes, that should be in the errata. I'll get it added ASAP.
