Sounds like a good idea. Not sure where vmlinux*.xz should be moved to, though. I thought crash utility required vmlinux, but it's obviously for debugging.