How to change file extensions

There are cases when the filename doesn’t have the right extension as it was intentionally changed either to confuse someone...

read more