東大教育学部のサーバーの名前

誰がアクセスしているかはよく知っているが…
東大教育学部から見ている人がいらっしゃるが、サーバーの名前「pikmin2.p.u-tokyo.ac.jp」が気になる。ピクミンってゲームのピクミン？
ピクミンもいいけれど、もうちょっと切ない名前でもいいのでは？と思います。たとえば「overdoctor2.p.u-tokyo.ac.jp」とかがオススメです。アクセス解析を見るたび「がんばって！」って応援したい気持ちになれるから…