Пытаюсь зарепортить баг в ghc-dev. Ну и говнище же этот ваш trac. Я всегда считал redmine хреновым багтрекером, но по сравнению с trac'ом он оказался удобным и интуитивным.