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