It seems we've got in the habit of doing clippy::allow at many points that clippy complains about something. I count ~20 places. I think we should fix most these and refrain from doing it in the future (don't merge new PRs with clippy::allow in them).