Prometheus

紹介ページでややこしい書き方をしていたため、一部で誤解を招いているようなので申し訳ないのだが、Prometheusの開発者とPortalの開発者（開発チーム）は別人である。Prometheusの開発者は、あくまで過去にPortalのカスタムレベルを作成した経験がある、というだけ。この点を強調するために文章を少し修正した。