Meanings of minor planet names: 1001–2000