AUSY contains Aug & Oct state-local holidays

Hi all, the AUSY calendar includes Aug & Oct holidays, this year being Aug 1 & Oct 3 2022.

See here Strata/ at main · OpenGamma/Strata · GitHub

However, these are state-local holidays, and not exchange holidays, according to

These holidays should not be part of your AUSY holiday set, since they are not exchange holidays.