Ha, thanks for the kind words!
I’ve took a quick look at the formula and think that the docs are wrong as it seems the log_softmax formula (log((exp(x_i))/sum_j(exp(x_j)))) mixed up the exp and sum.
The docs are defined here and you can check the used formula here, which is indeed using log_softmax (I hope I’m not missing something obvious  ).