History manual/platform.texi