+ * If you use GRAS, you should stay at SimGrid 3.5 (at most) since it
+ was considered as experimental and badly maintained since then.
+ * Keeping it was thus a trap to our potential users, that could take
+ it instead of MSG or SMPI by mistake despite is pity state.
+ * GRAS seems to have very few users (if any), and no one volunteered
+ to maintain it further. It also induces a lot of XBT code (for
+ portability sake), that must be maintained too.
+ * For all these reasons, we killed GRAS. If someone wants to revive it
+ in the future, don't cry, our git history still remembers of GRAS.
+
+ Documentation:
+ * Major overhaul. Merge our documentation again as time proved that
+ splitting it was really not helping our users.
+ * Further improve the developer documentation to help newcomers
+ hacking on SimGrid itself. The user documentation (and in
+ particular, the beginner documentation) is still in a sorry state.