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