Libraries are the new culture-war battleground as woke politics invade some of America’s most enlightened and democratic institutions. Fuente: The Wall Street Journal