Sfântul Cuvios Irodion, Luceafărul de la Lainici, în documentele vremii