Index of definitions:
C
D
E
F
M
N
P
S
T
delete-comment-file?
doc-list
doc-list