In SuperTux commit db910abda, this level's name, found in Bonus Island 1, mentions a trademark of the company with the Japanese stock code of 7974, and I personally name it "Plumbing through an Airship", with the file name being "plumbing-through-airship.stl", to avoid trademark issues.

0 likes 0 replies