It definitely has to be 2x the desired maximum frequency if you don't want aliasing. They probably capture higher frequencies by making assumptions about the input signal, but this will inevitably lead to aliasing when these assumptions are violated. The article doesn't really go into depth about precisely how they go about this.