comments for top-level public things