It's been almost four years (ok, 3 years and 9 months) since Samsung launched a Mini variant of its flagship ...