That's why I figured using either 2.0.1 and 2.0.4 wouldn't matter. 2.0.1 works fine too, BTW.
If I had something running SDL 2.0.0 I'd check it out, but (far as I know) I don't
I guess my next step is to punch in a PR on the Koreader github page and see if it goes in.