I've wondered this as well.
It boots slowly, prevents my Deneb from running with DMA enabled and is pretty much just in my way.
It's one of the reasons I went back to a 4000D as my main system actually.
If 4000D ROMs fix it then I may have to try it.
Edit: added bonus - you get workbench.library back in the ROM!