We have a [tag:php] tag, and we also have a [tag:php5.4] tag. Ultimately, they're both PHP, and I see no reason to have separate PHP tags for each version (the same reasoning was the primary drive, as far as I can tell, for [tag:php5] to be an alias of [tag:php]). Can we take the [tag:php5.4] tag and just have that be an alias of [tag:php]? Otherwise we'll have a thousand PHP tags which we don't need.