Make quarantine overlay optional
Make shm-kill-region support no deletion
Support hdevtools as a type-info backend