Beef up the docs.

Still haven't said "IND-CCA2" yet, so that's good.