Just stashing some very hacky thymic deletion UI code. Not runnable.