4
Some partial steps today, at least partially related.
highest-common-factor was made a synonym of the greatest-common-divisor tag.
The gcd ⇒ divisibility synonym has been removed. Unfortunately, when I created this synonym (Why did I do that? I was young and dumb then, I guess. Now, I'm older.)...