Bastien <b...@gnu.org> writes: > Would it be okay to > > 1. replace both "report bug" and "feedback" buttons by a "feedback" > button, pointing to manual https://orgmode.org/manual/Feedback.html ?
I feel like it is good idea to keep both "report bug" and "feedback" buttons, even if they point to the same link. "report bug" is not always associated with "feedback". Having both links may be easier for users to navigate where they are aiming to. -- Ihor Radchenko, Org mode contributor, Learn more about Org mode at https://orgmode.org/. Support Org development at https://liberapay.com/org-mode, or support my work at https://liberapay.com/yantar92
