dev-library developer param reference code-server/extensions Config options for code-server. Note: password is NOT set here