ROT-13 is a simple cipher where each Latin letter is replaced by the letter 13 positions later in the alphabet. Write a function rot13 that keeps the original case: uppercase letters stay uppercase, and lowercase letters stay lowercase. Leave all non-Latin letters and other characters unchanged. A neat property of ROT-13 is that applying it twice gives back the original string.

def rot13(s: str) -> str: