Yes, fork the entire repo, make your changes either in the web interface or via command line (don’t worry about number of commits; I’ll just squash it down to one anyway), create a pull request comparing your fork to the main repo.
I’ll merge it in whenever I see it come up.