It would be good if document would tell how to run X server under valgrind. Also undocumented is how to turn core files on when using lightdm and xfce.