I think the title says it. Paolo and the Gedit folks are a team one should look up to :D (they also patched clocks)