Other than the obvious, what is the difference between:
drop user user_01@host01;
drop user 'user_01'@'host01';
In a sample test, they both achieved the same result. From Account Names docs (5th bullet point), looks like they are not the same ... yet they appear to do the same thing ... ?
MySQL 5.5 on Centos 6.x.