Update documentation; -machine now generates accel=