Increased version to 0.9.2 -- Small improvement: update button and spinner do no longer briefly appear (“flicker”) at startup.