Quadratic Reciprocity comments on gwern’s Shortform