Docs now mention ycmd's auto-shutdown feature.