Address Mike St John's comments.

Add Akamai's address.

Separate "this document does" and "this document doesn't"
into two paragraphs.

Notation changes: = is assignment, s[t] is bit reference.

Use leftmost/rightmost instead of top or high/low for bits.

Slight reformatting of the algorithm.

Timing channels on commodity hardware is important and a MAY.

Consistently use 'private key'.  Fix the examples to not look like
one big number. Use f for Alice's private key.