removing local extensions leaves the empty directories behind

When removing local extensions, the extension libraries are properly removed, but the extension subdirectories remain behind.

Over the lifetime of an xwiki installation results in a lot of empty directories being left behind, which is not ideal.

It would be nice if the Extension Tweak tool could remove the empty directories.

Alternatively, if the tool reported on the unnecessary empty directories, then the site administrator could remove them manually

Example after cleaning up old local libraries:

root@wikiv2:/var/lib/xwiki/data/extension/repository/org%2Exwiki%2Eplatform%3Axwiki-platform-logging-ui# ls
10%2E0       10%2E8%2E1   12%2E5%2E1   14%2E1       15%2E3
10%2E1       11%2E10%2E1  12%2E8       14%2E10%2E2  15%2E4
10%2E11%2E1  11%2E2       12%2E9       14%2E10%2E3  15%2E7
10%2E2       11%2E3       13%2E0       14%2E5       15%2E8
10%2E3       11%2E6%2E1   13%2E10      14%2E7       16%2E0%2E0
10%2E4       11%2E7       13%2E10%2E2  14%2E8
10%2E5       11%2E8%2E1   13%2E3       14%2E9
10%2E8       12%2E10      13%2E6       15%2E10%2E3

All but the last directory is empty:

root@wikiv2:/var/lib/xwiki/data/extension/repository/org%2Exwiki%2Eplatform%3Axwiki-platform-logging-ui# ls -R
.:
10%2E0       10%2E8%2E1   12%2E5%2E1   14%2E1       15%2E3
10%2E1       11%2E10%2E1  12%2E8       14%2E10%2E2  15%2E4
10%2E11%2E1  11%2E2       12%2E9       14%2E10%2E3  15%2E7
10%2E2       11%2E3       13%2E0       14%2E5       15%2E8
10%2E3       11%2E6%2E1   13%2E10      14%2E7       16%2E0%2E0
10%2E4       11%2E7       13%2E10%2E2  14%2E8
10%2E5       11%2E8%2E1   13%2E3       14%2E9
10%2E8       12%2E10      13%2E6       15%2E10%2E3

./10%2E0:

./10%2E1:

./10%2E11%2E1:

./10%2E2:

./10%2E3:

./10%2E4:

./10%2E5:

./10%2E8:

./10%2E8%2E1:

./11%2E10%2E1:

./11%2E2:

./11%2E3:

./11%2E6%2E1:

./11%2E7:

./11%2E8%2E1:

./12%2E10:

./12%2E5%2E1:

./12%2E8:

./12%2E9:

./13%2E0:

./13%2E10:

./13%2E10%2E2:

./13%2E3:

./13%2E6:

./14%2E1:

./14%2E10%2E2:

./14%2E10%2E3:

./14%2E5:

./14%2E7:

./14%2E8:

./14%2E9:

./15%2E10%2E3:

./15%2E3:

./15%2E4:

./15%2E7:

./15%2E8:

./16%2E0%2E0:
org%2Exwiki%2Eplatform%3Axwiki-platform-logging-ui-16%2E0%2E0.xar
org%2Exwiki%2Eplatform%3Axwiki-platform-logging-ui-16%2E0%2E0.xed

While it may seem like a minor issue, these extra directories also impacts xwiki's startup time.