<p>Thanks for the bug report.</p>
<p>Just for information, you don't need to rename the file. It is possible to just type the filename in with the original extension. You can do this even though you can't see the file in the file list display.</p>
<p> </p>