HP unveils the world's smallest color laser printer. (Manila bulletin)