Decoding ROT13-Encoded Strings

My first cryptographic practice challenge in picoGym involved decoding a string encoded with the ROT13 cypher. A cypher which basically flips or rotates a letter from the first 13 letters of the alphabet to the letter aligned with the last 13 letters of the alphabet, or vice versa.

So, I wrote a Python script which decodes that encoded string—and which becomes the actual CTF challenge flag for the solution. I basically duplicated the letter flip in order to handle both uppercase and lowercase letters separately.

Note: Python's string module has a maketrans method which can be used to decode ROT13-encoded strings.