On Monday, 4 March 2019 at 07:58:09 UTC, Rainer Schuetze wrote: > These objects would still have to be scanned, so there is not > much that could be saved with respect to performance. Ok, thanks.