Pushed the up-to-date 1.8.4 release

A lot of changes, several months of activity ...