Looks like @tinyquant hasn't received any replies!