Hugging Face Launches $399 Open-Source Microduck Robot Ahead of Christmas