Looks like @gillbert hasn't received any replies!