Iirc the barriers prohibiting jaywalking were removed in 2019, which could justify `crossing=informal` as it is no longer illegal to cross. However the barriers were readded later, making it `crossing=no` again.