Personal* software recommendation request: PDF annotation tools that are primarily keyboard-based. So many PDF such tools are based around mouse or touch use.(Also, not some pay monthly data-lock-in hell. And stores the annotations in some broadly sensible open format.)* don't just google, actual experiences (including recounted at second hand from actual people you know)