Dictionary-makers found the first known use of “mansplain”