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