Looks like @alambdaguy hasn't received any replies!