* Fix of concurrent edition.
* CORE_question: Remove this useless notion.
* CORE_exercise: Make atomic exercises act as questions.
* Cosmetics.