“Adventure Time” is over