Undo erroneous search-and-replace in extlib files