Avoid deprecated API in docs. Make server plugin examples work.

Plus various small docs fixes.