Re: Multiple indices on MagmaCollections: brp's naive solution