Dear Colleagues, Does anyone use an OPIE calculator (opiekey(1) compatible) on Android? There used to be some in Google Play a couple of years ago, but now I cannot find a single one. Can you share what you use (other than a scrap of paper with keys printed beforehand)? TIA. -- Victor Sudakov, VAS4-RIPE, VAS47-RIPN AS43859