Ḟeodosīi, the Elder, of Hilandar, 18th cent.