[export] Also replace \problemname{} with problem.settings.name when …

[export] Also replace \problemname{} with problem.settings.name when … #838