So shouldn't we just take a pragmatic approach and move it to non-free, with a changelog notice pointing to this bug then? What can I do to make it happen?