Update for 7.2

Another update for 7.2 is going out with a good number of fixes and changes to both the IDE and the RTL.

You can check the readme list here