Re: progress-bar+fontify-pre-idle-hook bug. (was Bug push - we need a bug tracking system.)