Updated description to reflect the actual issue
After the recent email, are we happy enough now that this is not really a bug and can be closed as such. Is there any reason to keep this open?