beginning of public list view of published definitions, and beginning of prev_def/next_def logic.