It's really annoying, because I can compile and successfully run the ImGUI examples if I set GLFW to GL 3.1, but when OpenGL is accessed from Python via ctypes, a different GL implementation/DLL seems ...

Since it crashes on something basic like SDL_CreateWindow I'd suggest looking at the test suite examples using that method that are known to work (full-text search under tests/ for that method, for ...