Is there a good tool offhand that lets you look at server set command
values side by side to see what's different between them?