Commented out; we may eventually want to return to this code, but for now it's better that we render just the buttons we have.