There are two steps to follow before filing your finding:
However, please don't hesitate to send
your bug report. Ask about your problem at agda
if you are in doubt.
The submit page guides you. If you have an account on SourceForge.net, login before sending it. Please write not only the bug but also your environment such as version numbers of Agda and GNU emacs.
Please send your report to "agda-web(at)m.aist.go.jp".