Update documentation

Such as it is.