I ended up implementing this little
#Ghidra Cartographer QoL improvement on top of
@datalocaltmp 's branch, that has much better DRCOV format handling and a couple of important bugfixes, can recommend:
https://github.com/v-p-b/Cartographer/tree/gtableDuring development I ended up in a state where Ghidra would load the extension but not configure it, rendering it unusable. The solution was to delete the directory corresponding to the Ghidra version under ~/.config/ghidra .
#TIL #jetlag