Refresh the dev-manual

not everything is in there, but that's better than nothing at all or outdated information.

Fix #721