[#84709330] Use higher resolution default avatar for profile editor. This solution is a bit of a kludge, but it works, and it's not worth spending lots of time on this corner of the app.