Board Thread:Internal management/@comment-29326052-20161014235315/@comment-1764483-20161015215133

The kill command isn't too gruesome, especially compared to everything else.