Yep. Actually, he couldn't have cared either way about Godwin's law; he just wanted to taunt the Germans. Fun fact: the majority of Germans actually make war jokes themselves.
Since Godwin is meant to stay and supply advice for a few months yet, the userbox can stay... for now.