The Washington Post’s editorial union …