I have a support issue here: Available Balance != BTC AVAILABLE
But I realize this is not just an issue for me. There is some more serious issue with the UI. An actual bug, because the UI does not display the same balance that the wallet shows under CTRL-J. So either one or the other is incorrect, and this is a potentially dangerous situation.
So I am creating this ticket here for the bug report for the software itself, different from the support issue for my issue. I hope this is correct.