Sections are cropped from the same 2x export, full resolution, no downscaling. Names not searching fast enough? Try the searchable PDF instead. If a section fails to load, refresh — GitHub's release CDN occasionally needs a second request on first hit.