re: #166 Franklin

That seems odd, you are probably right, but it’s odd. Would the Surgeon General also be called General Vivek Murthy?

Sadly, yes.