Dear Ivan, As talked on #gnustep. Yes I'm perfectly aware of both of the mentioned concerns. > Do note that the Github repo is just a mirror, and that the new > upstream > code is not a new proper release. Yours,