20100512 gadgets-special: HTC launches HD Mini in India