Now it’s possible to edit $:/favicon.ico with the image editor, and see the changes instantly reflected in the browser.
Jermolene