Short naming note on the deletion operations hga@xxxxxx 07 Jul 2019 23:40 UTC