Looks like @bernardor hasn't received any replies!