I notice the docstring for AutoNormal says
This should be equivalent to
AutoDiagonalNormal, but with more convenient site names and with better support for mean field ELBO.
Which suggests maybe AutoNormal is the preferred choice? Are there reasons why you would use AutoDiagonalNormal over AutoNormal?