In last night's question session after my lecture, someone asked about Jefferson Davis and when (or if) he ever got his citizenship restored. I could remember that it was US President Jimmie Carter who restored Robert E. Lee's citizenship, but I could not recall the fate of Jefferson Davis. Come to find out, it was Jimmie Carter who, in October 17, 1978, also restored "the full rights of citizenship to Jefferson Davis." This was two years after Carter had done the same for Lee. So now we know, and maybe next time, I'll remember.