以前 ports でアニメの登場人物のような名前の付いた tcsh を見かけた気がしますが、
あれはなんだったのでしょうか？