A lot of these points, like "Omit or shorten proofs", suggest that maybe more papers should have companion materials. Having the proof written out somewhere is definitely valuable (especially for us non-doctorate-holders who still would like to benefit from your research).

Would be especially interesting if journals started encouraging (and perhaps hosting/mirroring) supplemental materials.