I was planning my flight to SBGR and noticed a discrepancy between the ATIS and the actual runway #’s. It seems some of the numbers were changed to 10L & 10R, but the STAR/SIDs still show as 9L & 9R.
The article you linked is indeed the reason why there’s a mismatch between the runway numbers at the airport and in the Procedures tab. The runway identifiers in-app are changed to match the real-life ones. However, IF is running a pretty old AIRAC cycle (I believe it’s 2106), meaning that the procedures haven’t been updated ever since. The runway identifier change has happened after the currently available AIRAC cycle, resulting in this mismatch.
It’s nothing too serious to worry about, though - the procedures still work as intended, and it’s pretty easy to figure out which runway a given procedure is intended for :)