DEVIDM: Somewhat improved resource management.