More documentation URL fixups.