Not an April 1st joke. Here is the portal page for R80:
R80 General Availability Release
Three main features they are taking about:
Unified Policy
Efficient, automated operation
Integrated threat Management
So who is going to run the migration tool and deploy this initial release into production? 😉
R80 is Here