A chrome-extension designed to remove the unnecessary characters in the name of files downloaded from Web Learning