Restore stuff I accidentally merged into nirvana (sorry Jan).
progress bar for extension translation