A tiny function for converting a file URL to a file path. - View it on GitHub