Hugging Face is selling a cute $399 open-source duck robot, Microduck