Words considered "woke" are vanishing from National Science Foundation proposals. Grist tracked the changes.