In doc/index.html, topics to be written are separated from the already written.