Full threadlatexr·Seems like HN removed the “40” (percent) from the title. You can edit to add it back.View on HN