devel-docs: update the docs a bit