now a gui for mediawiki2latex is again available on Linux
