bug#72038: Closing

[Leo Famulari]

I messed up this report so I'm closing it and will open a new one. I
think it will be too confusing to leave this report open as it is.