On Friday, 13 July 2018 at 18:54:48 UTC, Manu wrote: > As a marker used in this one case, it's a terrible name, as a > generalised concept, it's perfect. Exactly.