Remove `extensions-panel`

Open craxal opened this issue 1 month ago • 0 comments

It is no longer used and can be recovered from history if needed.

Dec 08 '25 21:12 craxal