In normal times, a former president does not criticize a sitting president. These are not normal times.

And of course, Barack Obama does not mention Donald Trump by name because he doesn't have to.