hi adi,
thanks for your detailed answer. i've discovered a way of changing the
image without needing to recompile the plugin: if your theme directory
contains a folder named gkrelltop and you put an image there named
krell_image.[png,jpg], the latter gets used instead of the default
one.
(see...