Yes, we find it a bit confusing as well, the output from the above command is :
12 -rw-r----- 1 admin bin 12233 Jan 16 14:17 crypt.def
4 -rw-r----- 1 admin bin 821 Apr 16 2020 crypt_ssl.def
but we also found this:
Expert@SMS80.40:0]# find / -name crypt.def
find: /proc/36863/task/92966: No such file or directory
find: /proc/92970: No such file or directory
This aligns with what the admin guide shows but does not include the file for an 80.20 gateway.