Collaborators

I have been thinking of inviting a few of our current active contributors as collaborators to this repository for the following reasons:

• Small changes that do not require any discussion can be pushed without my attention
• Old stale/completed/duplicate issues can be closed without my attention
• Development would not halt when I'm not around

Creating an organization might have been better but I'm not sure if it is worth changing the repo address at this point. I also don't know if there are any upsides/downsides. From what I understand, there aren't many differences when there is only a single repository involved. I guess we can think about it in the future if necessary.

@joelim-work and @ilyagr Thank you very much for your contributions so far. I will send you invitations in case you are interested in this.