doc/Doxyfile: bumped to 1.8.8.
input_buffer: doc tidy.