Switch build to the new machine.
Distribute realm.
Synch German string constants with latest.
Post-release version for the v5.3.5 release
Ubuntu machines got upgraded.
Regexp typo.
raco setup: fix problem with docs

Support for "moving" pre-built docs into place did not handle
the case that the version number is wrong, which could happen
either because the pre-built version doesn't match or the docs
were built (in an old version) without a "synced.rktd" marker.
Don't run tar/zip tests if the executables are not found.
Drop todo file.
Rackety (just enough to get the max line width below 102)
add more information to the module browser error messages
fix: now documenting the right name
typos in source documentation; thanks Laurent, OEV
fix error message handling

closes PR 13859
save recent drracket internal error exn records to include in PRs
remove bogus error (introduced to try out recent changes)
[Style] getting started
[Style] fixes
[Style] test of email
[Style] notes to myself