final neutering; remove 'kermit', travis ....

thats too bad, this is the only terminal definition thats wonkier than the others!