Thread:King Dragonhoff/@comment-37931603-20191006044151/@comment-24531999-20191006200530

Sure, just go to the file's page, click the drop-down next to the edit button, and choose "Rename".