A portal for the chili publishing system