htdocs/docs/Hardware/Machines/Sequent