Issue 459. Repos.remove() javadoc modified according to code-review notices.