I have a port (julia) that extracts as "julia-0.3" which breaks the globbing done by the Portgroup: "${github.author}-${github.project}-*". Would it make sense to change this to "*${github.project}"? Or am I missing something?