Not really sure what to reply, as long as my memory serves + was either double tap * or 0 (or hold either one of them until it turns to +), since phone keypads use * and # as default extra symbols and you are right that functionally 00 == +. Not much to add to that, rest is silica discussion, where everyone has their own preferences and can fix the UI once and for all until another person disagrees and has better vision for it, patches seem the way to go, everyone can submit their own, maybe propose a patch contest on tjc? Openrepos have dl statistics, so prop your UI argument with the fact thousands have downloaded your patch, so it is obviously right? (worked for toggles in event view in a way)