Vigil: Documentation