Perp Summer — a trader's curated perp dex file