It is documented that the character of Marvin the android was based on Andrew Marshall. Wikipedia further suggests that his name originally was Marshall, but was changed to avoid offense and also to avoid sounding like "martial" on air (but this is not in the interview, and WP gives no source for this).
Is there any source that explains why the name "Marvin" in particular was picked to replace "Marshall"? With the recent announcement of Marvin Minsky's death, I saw someone float the theory that Marvin might be named after him (and, in fact, that's not an original thought). It's possible, of course (the potential connection to artificial intelligence is obvious), but I haven't found any sources online that suggest this. Instead, people conclude that he definitely wasn't named after Minsky, which the sources also do not support.
Do we know why Marvin's named Marvin?