Various updates to the docs
Updates for Monday's lecture