- the last commit on this file had no log comment; that commit contained
what might be an important indexing bugfix.