Question: Who voiced the Devil in the computer-animated television series whose director also created "Bob's Burgers"?

full_context: Document 1: Butch Hartman: Elmer Earl Hartman IV, better known as Butch Hartman (born January 10, 1965), is an American animator, writer, director, producer, and actor, best known for creating the Nickelodeon cartoons "The Fairly OddParents", "Danny Phantom", "T.U.F.F. Puppy" and "Bunsen Is a Beast". Hartman also owns a production company, Billionfold, Inc., which he uses primarily to produce his shows. Hartman has been an executive producer on "Fairly OddParents" since its series debut in 2001.
Document 2: Superjail!: Superjail! is an American animated television series produced by Augenblick Studios in its first season, and by Titmouse, Inc. in its second, third, and fourth seasons. A fourth season was confirmed on the Twitter page of David Wain, who voices the character of the Warden. The series follows the events that take place in an unusual prison. The pilot episode aired on television on May 13, 2007, and its first season began on September 28, 2008 on Adult Swim. "Superjail!" is characterized by its psychedelic shifts in setting and plot and extreme graphic violence, which give the series a TV-MA-V (for graphic violence, including scenes of bloodshed, dismemberment, torture, and extreme cruelty) rating. These elements are depicted through highly elaborate animated sequences, which have been described as "Baroque and complicated and hard to take in at a single viewing". On October 30, 2015, Titmouse confirmed at their panel at Comikaze Expo that "Superjail!" had been cancelled by drawing it along with previously cancelled shows like "Motorcity", "", and "Metalocalypse". The series was the creation of Christy Karacas, who was a member of the band Cheeseburger, and also directed "Robotomy" for Cartoon Network, Stephen Warbrick, who was originally a digital artist on MTV's "Celebrity Deathmatch" and was also an animatic artist at Blue Sky Studios, and Ben Gruber, who originally wrote for Ultracity 6060 on MTV's "Cartoon Sushi", and would also later write for shows like "Teen Titans Go!", "Breadwinners", and "SpongeBob SquarePants".
Document 3: Brendon Small: Brendon Small (born February 15, 1975) is an American voice actor, stand-up comedian, producer, writer, animator and musician. He is best known as the co-creator of the animated series "Home Movies" (along with Loren Bouchard) and "Metalocalypse" (along with Tommy Blacha) and as the creator of the virtual death metal band Dethklok.
Document 4: Lauren Faust: Lauren Faust (born July 25, 1974) is an American animator, screenwriter, director, and producer, best known for developing Hasbro's animated television series "", as well as working frequently with her husband Craig McCracken. Faust has also worked as an animator on television series such as "The Powerpuff Girls" and "Foster's Home for Imaginary Friends". She has worked with Cartoon Network Studios, Warner Bros., Hasbro, and Disney.
Document 5: Laren Bright: Laren Bright is a writer who worked at Hanna Barbera Productions and Warner Bros. Laren Bright worked on Hanna Barbera shows like "The Snorks", "A Pup Named Scooby-Doo", "Wake, Rattle, and Roll" (Fender Bender 500 segments), "Pirates of Dark Water", "Captain Planet", and other shows. Laren Bright was Story Editor/Writer for Batman Animated Series. Laren Bright was one of story editors for Emmy winning Batman Animated Series episode "Robin's Reckoning Part 1." Here are Pirates of Dark Water episodes Laren Bright worked on.
Document 6: Lucia Aniello: Lucia Aniello is an Italian-born American director, writer and producer best known for her work on Comedy Central's "Broad City." She has directed and written episodes of "Broad City", as well as the miniseries "Time Traveling Bong" and the 2017 film, "Rough Night". Aniello resides in Los Angeles with her boyfriend and comedic partner Paul W. Downs, with whom she co-wrote "Rough Night".
Document 7: Bob's Burgers (season 1): The first season of the American animated sitcom "Bob's Burgers" began airing on Fox in the United States on January 9, 2011, and concluded on May 22, 2011. Thirteen episodes long, the season was produced by Bento Box Entertainment in association with 20th Century Fox Television. The series follows the family—father Bob, mother Linda, daughters Louise and Tina Belcher, and son Gene. The show features the voices of H. Jon Benjamin, Dan Mintz, Eugene Mirman, John Roberts and Kristen Schaal in their roles of the Belcher family.
Document 8: Ron Lynch (comedian): Ron Lynch is an American stand-up comedian, actor, and writer. He has appeared in a number of movies and television shows. He has worked as a voice actor for several animated shows, including "Home Movies", "Bob's Burgers", and "Tom Goes to the Mayor", and has made guest appearances on "Dr. Katz, Professional Therapist", "The Sarah Silverman Program", "Andy Richter Controls the Universe", "Adventure Time", and "Comedy Bang! Bang!".
Document 9: Home Movies (season 1): The first season of the animated sitcom "Home Movies" originally began airing in the United States on the television network UPN from April 26 to May 24, 1999, and on Cartoon Network from September 2 to October 7, 2001. The pilot episode was titled, "Get Away From My Mom." Co-creators Brendon Small and Loren Bouchard, along with Tom Sydner, served as writers, executive producers, and directors for the season. The season utilized Sydner's signature "squigglevision" animation style, though it would change to a more "conventional" flash-animated style for the subsequent three seasons.
Document 10: The Venture Bros.: The Venture Bros. is an American animated television series that was created by Christopher McCulloch (also known as "Jackson Publick") and premiered on Cartoon Network's late night programming block Adult Swim with a pilot episode on February 16, 2003 and its first season beginning on August 7, 2004. It is considered to be an action/adventure series with comedy-drama elements. The show has been renewed for a seventh and eighth season to consist of ten episodes each.
Document 11: Home Movies (TV series): Home Movies is an American adult animated television sitcom created by Brendon Small and Loren Bouchard. The show centers around eight-year-old aspiring filmmaker, Brendon Small, who makes videos with his friends Melissa Robbins and Jason Penopolis in his spare time. He lives with his divorced mother, Paula, and his adopted baby sister, Josie. He develops a skewed father/son-like relationship with his alcoholic, short-tempered soccer coach, John McGuirk.
Document 12: Loren Bouchard: Loren Hal Bouchard (born October 10, 1969) is an American voice actor, animator, writer, producer, television director and composer. He is best known for several animated TV shows and as a co-creator of "Home Movies" with Brendon Small. He is also the creator of "Bob's Burgers" and "Lucy, the Daughter of the Devil".
Document 13: Lucy, the Daughter of the Devil: Lucy, the Daughter of the Devil is an American computer-animated television series aired by the Adult Swim programming block of Cartoon Network. It was written and directed by Loren Bouchard, produced by Bouchard, Seth Green and Josh Piezas and animated by Fluid Animation. It starred Melissa Bardin Galsky as Lucy, the daughter of the Devil, who is voiced by H. Jon Benjamin.
Document 14: List of Bob's Burgers episodes: "Bob's Burgers" is an American animated television sitcom that premiered on the Fox network on January 9, 2011. The series finished its seventh season on June 11, 2017. It centers on the Belchers, a family consisting of parents Bob (H. Jon Benjamin) and Linda (John Roberts) and their children Tina (Dan Mintz), Gene (Eugene Mirman) and Louise (Kristen Schaal), who run a hamburger restaurant. The show's premise originated with Loren Bouchard, who serves as an executive producer along with Jim Dauterive. The show is said to fill the void created by the conclusion of "King of the Hill", which Dauterive worked on for nearly its entire run.
Document 15: The Devil's Hands Are Idle Playthings: "The Devil's Hands Are Idle Playthings" is the final episode in the fourth season of the American animated television series "Futurama". It originally aired on the Fox network in the United States on August 10, 2003. The episode was written by Ken Keeler and directed by Bret Haaland, and it guest stars Dan Castellaneta, who reprises his role as the Robot Devil. Keeler was nominated for an Emmy Award for this episode, while the song "I Want My Hands Back" was nominated for an Annie Award.
ground_truth: H. Jon Benjamin