Update developer-oriented documentation