Doc tweaks for Stan's managed memory patch