In this case, feel free to submit a patch 
Nonono, you got that wrong - it's not much of an effort for *you*, for *me* "Hello World" takes quite some time :-p
But to be earnest: I find submitting a full fledged pull request as it's desired around here to be too much overhead for trivial patches (long explanation cut, someone has to read this...)

... just posting a diff in a code box seems easier to me.
Also like in this case looking at some source code for the first time - and I'll never need to look at cr2hdr again - takes some time to get the bearings, just like working on the ml source takes some time if some months have passed. What I do in 1h you'll do in 10sec - I don't even remember how linux command lines are parsed and where the 4 options you mentioned might be located.
That's why I usually put my trivial or "open for discussion" ideas as a comment or request first, and only if push comes to shove change the source code myself. I know from dev's perspective this might look lazy, but just now I think for small matters this is a more economical way.
Speaking with Star Trek: I'm a doctor (no, actually I'm a sociologist) not a hardcore coder :-p