docs/working-copy: Replace 'del index[path]' with index.remove(path)

Catch up with b12a5960 (Remove "del index[xxx]" from the API,
2013-05-02).