Remove old GitHub hook, remove junk socket server (never used), fix a spelling error.