Updating doc by moving the relevant section to the servlet plugin.