How to fix MIUI push notifications

MIUI has come a long way in the last two years, and while the interface has received a much-needed facelift and a trove of new features, it still has a few lingering issues, like delivering push notifications.