Checkpointing Android documentation. More changes coming soon.