Another GraphHopper dev here. This is quite odd. Github users should not be able to delete comments of others by simply deleting their account, even for issues they opened themselves.