Yahoo did not have 14k people in 2017 I left yahoo shortly before the merger. The article says it was between yahoo and AOL. There were many layoffs prior to the merger probably only about ~9000 people were around in 2017.
You are correct though, they shrunk to half over the last decade but they had already shrunk by about half in 2017.
