I saw that when I was adding the package to the repository but I thought it was primarily for when your repository has one thing but you want the package to show up as something else. The GitHub repository name is the same as what I’d like the package to be. Either way, it isn’t available in Package Control yet. I’ve submitted a pull request, but have not received a response.
I think, in this case, the package was downloaded from GitHub. When I download it by clicking the ZIP icon, it comes down as phillipkoebbe-DetectSyntax.zip. Unzipping in the Packages directory would place it in the wrong directory. It would just add a nice bit of user-friendliness if I could determine the directory at runtime.