Hi. It'd be nice to have specific git commits actually bear release tags. This would make it easier for distro maintainers to package the engine.