rawtherapee-cli uses a lower-case .jpg extension for the generated file instead of the requested upper-case .JPG

[dset0x]

Short description
As titled

Steps to reproduce

$ rawtherapee-cli -q -O /tmp/f.JPG -Y -s -c input.RW2
RawTherapee, version 5.11, command line.
Output is 8-bit integer.
Processing: input.RW2
  Merging sidecar procparams.
$ ls -l /tmp/f.JPG
ls: cannot access '/tmp/f.JPG': No such file or directory
$ ls -l /tmp/f.jpg
-rw-r--r-- 1 user user 5.1M Nov 10 13:26 /tmp/f.jpg

Expected behavior
/tmp/f.JPG should be created instead of /tmp/f.jpg

Additional information

• Version of RawTherapee: 5.11
• Version of your operating system: Void Linux

[Lawrence37]

The help message and documentation should be updated to make it clear that the extension is determined by the file type. It will always be jpg, tif, or png regardless of what extension is supplied. Even if you use f.tif, the file will be named f.jpg. The file type is determined by one of 3 flags, -j for jpg, -n for png, or -t for tif. The default is jpg if none of the three are specified.