some documentation that got eaten by intellij

intellij had frozen when I tried to rename a class and let it
try to rename generated classes as well. Ended up sigkilling it,
and I guess it ate some documentation I had written.