It's a pity these new tips look nothing like the existing tips (Feature Pointers) in the rest of the WP UI. So now we have two completely different styled tips in the Dashboard! It makes the Editor interface even more inconsistent with the rest of core.