3 * Show manual page on pressing enter in the search
6 * Optimize performance, in particular, implement
12 * the small icon will not be used when dragging
13 the FireMan button into a small toolbar (CSS
16 Saw it working on a debian firefox.
18 * Rendering error in manpage log1p(3). A misparsed
19 headline is rendered really ugly.