No, I'd probably put them in the same category. This is why I suggested a filesystem output. Github is just popular and having something that could add it as a release to a repo would probably improve popularity of the project.