We made the changes suggested by Malte and merged the PR.

Done with the pull request. Looked very good!

I still found a few more occurrences I would change. Besides checking the diff, I looked for "task" and "problem" (case-insensitive) in all parts of the code, but mostly skipped over "task" for those parts of the code where domain and problem have already been combined into one because I didn't expect any usage of "task" to be wrong there.

I cherry-picked the corresponding change sets from the other pull request. You find the resulting pull-request here: https://github.com/aibasel/downward/pull/300

I am splitting this off from issue 1223 (documenting the translator options on thewebsite).

We want to be more consistent what we call task and what we call problem. The task is the entire task, composed from the information in the PDDL domain and the PDDL problem file. For the (PDDL) problem files, we want to use the term "problem". In the translator, it is sometimes also called task.

In this issue, we want to make the corresponding adaptations in the translator.