Talk of a Galaxy S 4 Mini started while many of us were still processing the impact of its full-size cousin, but there was little to go on at first beyond unverifiable imagery and top-level specs. Thankfully, Samsung itself just removed some of the doubt through a user agent profile on its own website. While the code only references a previously suspected GT-i9190 handle (the Galaxy S III Mini is the GT-i8190),