[Bug 1216352] "man 5 proc" should specify for /proc/[pid]/exe what happens if target executable is renamed right when open() happens