Legend: - Not done * Top priority . Partially done o Done D Deferred X Abandoned - don't enable coredumps by default - fix shipped html docs to refer to local stylesheet
