And anon’s boss actually did exactly the thing you’re supposed to do when this happens irl.

Make them explain it for the group, and then socially ridicule them.

Just bully that fucking nerd. Maybe a swirlie, depends on the workplace culture.