Deprecated status

hasktags is not deprecated [maintainers: edit]