Looks like @galshalev hasn't received any replies!