Get rid of old regular extensions

Hi,

Via the tab Extensions: Discover
I see a lot of Regular Labs extensions, how do I get rid of them?
They where unable to delete during the J4/5 updates.

;

Action Log - Regular Labs - Extension Manager
Record the actions of users for the Regular Labs Extension Manager
Site Plugin 7.4.2 April 2019 Regular Labs (Peter van Westen) actionlog 10514
Select Regular Labs - Cache Cleaner Regular Labs - Cache Cleaner
Cache Cleaner - clean cache fast in Joomla!
Administrator Module 7.0.0PRO May 2019 Regular Labs (Peter van Westen) N/A 10513
Select Regular Labs - Extension Manager Regular Labs - Extension Manager
Regular Labs - Extension Manager - manage your License codes for Regular Labs Extensions
Administrator Component 7.4.2 April 2019 Regular Labs (Peter van Westen) N/A 10511
Select Regular Labs Library Regular Labs Library
Site Library 19.5.762 May 2019 Regular Labs (Peter van Westen) N/A 10512
Select System - Regular Labs - Cache Cleaner System - Regular Labs - Cache Cleaner
Cache Cleaner - clean cache fast in Joomla!
Site Plugin 7.0.0PRO May 2019 Regular Labs (Peter van Westen) system 10515
Select System - Regular Labs Library System - Regular Labs Library
Regular Labs Library - used by Regular Labs extensions
Site Plugin 19.5.762 May 2019 Regular Labs (Peter van Westen) system 10516



Kind regards, Hein

Hi, yes indeed. I took over this website from a previous builder and thought to go on with it. But many used extensions are not J5 ready or meet the php requirements.
So I am deleting all extensions and replace them with Joomla default solutions.

All extensions where deletabel, only the 'Regular' not.

Sorry, for this non-sales question, but I did not find any solution in the forums nor find any other way to ask this question at someone who knows.

With my previous company 'Pixels & Text" I was many years a Regular Labs paid user.

Kind regards, Hein