A place to submit bug reports for eddy

This used to be a place to submit bug reports for eddy. However, eddy is open source now, so you should use the main issue tracker instead.

For details about eddy, see https://eddy.systems.