diff -r 000000000000 -r 9068ed9695f7 tex/images/flag-hideexport.png Binary file tex/images/flag-hideexport.png has changed