Hi all, as Tim started an EPrints instance in GitHub, what do you think of using https://github.com/eprints/eprints/issues to submit issues? this will help in issue tracking! Best, Denis