Можете ли вы объяснить, что подразумевается под термином ProDoc в контексте вашей области?