sent from a phone > On 11. Mar 2020, at 23:48, Joseph Eisenberg <joseph.eisenberg at gmail.com> wrote: > > > Is there enough usage to just add it to those pages, or should the > proposal be voted on first? I am in favor of adding it right away. Cheers Martin