Some developer docs changes