Move "Kerberized Servers" into "Documentation Topics" because it exists.