{ "name": "EricxDu's Bonus Level", "levels": [ "ericxdu.json" ], "tuxdolls_available": [ "ericxdu.json" ] }