It might be more wise to credit https://github.com/flibitijibibo/SDL2-CS, since we are using this instead of OpenTK directly.