That is for the design docs listing in the sidebar. We don''t want to paginate that. So it is fine.