Early today, on its South Korean website, Samsung posted that the Galaxy Home Mini will be released in South Korea on February 12th for 9,00 KRW, approximately $83. The post has since been removed, but it was online long enough to give us a few new d…