New post for the Frama-C blog
@blanchard for info (even if it's unrelated to the new website or release)
This will create a new commit in order to revert the existing changes.
