You're right. The repeat number appears in the upper right corner only when you're running the Player. The coda section automatically plays after the last time, unless there's a corresponding coda sign in an earlier measure. When posting for everyone in the Forum, it's sometimes a judgement call between files for playing and files for reading. But for your own personal use, whatever gets you through the night.