Yeah, I've now accepted that they are ruined. Debating whether to
1. try some crazy diy project...maybe remove the pockets with a seam ripper and cover them in paint or something?
2. donate them (though I'd feel bad if someone bought them at a thrift shop without noticing the problem)
3. throw them away