Add kill_octave to documentation and history.