Hi Martin, I noticed that the github issue tracker now allows assignment of issues to individuals. If it's any help, I'm willing to take on investigation & reproduction of issues, so feel free to assign issues to me if you think it makes sense. -Pieter