Today I registered the domain ibis.au. However, this is a per-registration process. We need to wait until September 22nd to make sure no other category 1 businesses/orgs want it. If they do, they will get first dibs. So now we sit back to wait and see what plays out.