Looks like @szalai hasn't received any replies!