EiffelStudio 5 release notes

f4a705a2-86ac-013e-21f2-a99affd7b450