I don't think I want to know why the 'date' command's handling of summer time post-2038 *regressed* from Ubuntu 17.04 to Ubuntu 17.10...