Nice initiative but I would personally prefer adding some kind of padding, which is an easier solution to the problem, not as drastic, reversible, and less controversial. Unless doing something controversial is one of the goals here, which is also fair.
How are you gonna close the lid when there is padding in the way?
Thin padding? Removable padding? Squishable padding? (Is that a word?) I assume that filing the edge leaves an ugly gap when closing the lid, so that is not ideal either.