can't find additional tags plugin

I see mention of the additional-tags plugin, but the link to it from the Community area goes nowhere. Is this plugin still available/supported? We'd like to enable some extra html tags for our non-superuser users, but would like to avoid the unfiltered MU plugin, and addditional-tags would seem to be the right solution.