When publishing data to AGOL from ArcGIS Pro, a feature service and service definition file is created. At some point in the future if the feature service is no longer needed and can be deleted, the user should at least be warned with a pop-up message that there is also an associated service definition file that should most likely also be deleted.