Don't introduce apps by comparing with the (long-deprecated) aliases.
Remove timing comparison. It was from the old Python version. The OCaml version is much faster (and now dominated by the program's own start-up time rather than by the solver).
Use the (newer) summary from the homepage for the FAQ too.