So another Comic-Con International in San Diego has come and gone, and whether you could be there or not, the Monday following such an event should be declared a geek public holiday. The sheer amou…