We knew that the Samsung Galaxy S III mini was coming, and now it's official. The 4-inch smartphone was announced earlier today in Frankfurt, Germany, sporting Android 4.1 Jelly Bean, 1GB RAM, and a 1GHz dual-core processor. Other specs include the ability to choose between an 8GB and 16GB model (both are expandable with an extra 32Gb microSD card,) 4-inch Super AMOLED display, 5-magapixel rear camera, VGA front camera, and a bunch of wireless support (802.11a/b/g/n Wi-Fi, Bluetooth 4.0, GPS, FM radio, and NFC. Aside from pricing and availability, which is nowhere to be found just yet, we're wondering--when did 4-inch smartphones became referred to as "mini"?