I've noticed a few tags on the site need cleaned up.
Some of what I would like to see changed:
- There is a lag tag and a lagging tag that should be merged.
- The slow tag should be burninated, as it is ambiguous and better tags like lag already exist.
- The tag disk-encryption should be merged with encryption and made a synonym.
- Merge android-p with 9.0-pie and make it a synonym.
Could the tags (shown above) be cleaned up?