Notify on compressed JSON profiles

This change cannot be pushed upstream!!