If it is decided that the issue in comment #73 is not going to be fixed here, then perhaps a separate bug for it should be filed.
If it is decided that the issue in comment #73 is not going to be fixed here, then perhaps a separate bug for it should be filed.