Yeah, he had a number of credits in this title. Dunno if he ever wrote for the comic directly, but they used more of his Electric Company Spidey skits in the comic. (Those tended to be the stories without other established Marvel characters popping up.)