AddKeysToAgent yes

Host afra-door
    HostName 172.23.42.69
    ProxyJump afra.fe80.eu
    User pi

Host toriel-dropbear
    HostName 192.168.16.4
    User root
    RemoteCommand cryptroot-unlock
    RequestTTY yes