Since the story takes place in the past, I thought their names were Golden Age appropriate. :/
Machinist: I tried to come up with a name that referenced the Great Machine from Ex Machina and would also show that he built all of his weapons.
Gray Gremlin: Since the story was inspired by the Death of Gwen Stacy I did a play on words, Green Goblin/Gray Gremlin. Since they would have put on their costumes during WWII, I felt it would be fitting to have the arch enemy of a machine based character be a gremlin.
Captain Victory: Just a basic patriotic hero. All of those names are kinda silly if you think about it. If it was my intention to be silly I would have named him GENERAL CAPITALISM or Democracy Man. Captain North America... hahaha Captain Victory could pass as a real 40's hero. Hell, I bet there is one.
Professor Maniac: I thought that was cool...
Anyway, again, not my intention to throw humor in there at all.
Oh, well. :/