Update several application type error messages
Fix doc contract for `syntax-local-phase-level`

The description does not mention the function ever returning #f
and if you look at the implementation in the C code, it always
returns the result of `scheme_make_integer`.

Also add an example for the entry.
redex: add in-order enumeration to the benchmark

Also, add support for running a single file in parallel.
Fix TR tests for new error messages

Related to commit fa81fb35f7361f0a985ad4d311400d621a2a5496
Make TR tests work with contracts enabled.
file/unzip: support preserving timestamps
file/zip, file/tar: add #:get-timestamp argument

Allows the recorded timestamp to be adjusted in a general way.
raco pkg: preserve/adjust timestamps when extracting/creating packages

Perserve and adjust timestamps in a way that helps make re-packing an
installed-from-built package produce an archive with the same checksum
as the original.
Makefile: refine support for building an installer from a site
distro-build: refine client--server split
fix syntax checking for `#%declare`
redex: add 'ordered' to benchmark plots

Also fix '-o' option
fix compiler to not move allocation across continuation capture

Note that even the movement of operations like `unsafe-fl+` is
constrained, since the operation can allocate. For example, a
continuation captured in

    (let ([a (unsafe-fl+ x y)])
      (call-with-composable-continuation ....)
      a)

should return an `eq?` result. The compiler must not only refrain from
moving the `unsafe-fl+` call, it must not mark `a` as a flonum
binding, because that would cause the JIT to delay allocation of `a`
until the return site.
Add recursive type alias support to TR

This expands the `Name` type functionality to go
beyond struct names and allows arbitrary recursive
type aliases to use the environment for indirection.

In addition, such aliases can be mutually recursive.
Add static contracts for instanceof
Make printing of `Name` types unfold correctly
Add type annotations for GUI libraries

The types for racket/gui are substantially complete, but
there are still some missing classes and methods.

Some interesting future work would be to ensure type coverage
by comparing the class members vs. the types in the environment.
That could be run as a test to ensure it stays up to date.

Most types for the framework library are still missing.
meta/new-web: another revision of the main-page blurb

(In cooperation with everyone who wrote the previous versions.)
meta/new-web: remove unused module
meta/new-web: add info for v6.0 64-bit Debian installers