No matches were found for subject:"Bug#693885\: src\:mathgl\: non\-free files in main \(GFDL with Back\/Front Cover Text\)"