Just a thought: why don’t you just use two different aliases for the Server in your .ssh/config with your two differing ssh keys, that way you can just use two different “hostnames” that have different ssh keys specified

I hopped around in Debian-Land for a while before switching to Manjaro, converting it to Arch later on.

Now I stay with Arch because it just works and doesn’t break on me.