Re: Image cache

[Richard M. Stallman]

    But it is a bug that the image cache doesn't get updated when the image file
    content changes.  Is there an easy way to fix it?

Fixing this would be desirable.  One way to do it would
be to store the file's modtime in the image cache.
Then any reference to the cache could stat the file
to see if it has changed, and reload it if necessary.

That is pretty simple in theory.  Is it simple in practice?