This does not appear to be a critical bug. For now, I think it should be option 3, leave it open. A non-invasive fix might be something that could be addressed post-release, but for between now and release, it's too late.
This does not appear to be a critical bug. For now, I think it should be option 3, leave it open. A non-invasive fix might be something that could be addressed post-release, but for between now and release, it's too late.