MiniTips -> QuickTips!

  Hey, 'MiniTips' is changing to 'QuickTips!' ! Just the name's changed, much more appealing, you'll still get the same great content. Hope you'll like the new name!