@jernej__s @cstross Yes, that's how I originally read it!