make 'Obsolete!' label translatable (fix #677)