Board Thread:Bug Reports/@comment-28212895-20200129031449/@comment-25330335-20200129163449

Simply changing the extension works because a  file is a   file, it just has a different name.