3 ms·(One of the copy editors was Leslie Lamport himself! Took me a little digging to get the joke.)by kmill 7y ago(One of the copy editors was Leslie Lamport himself! Took me a little digging to get the joke.)