✏️ Editing: random_bytes_libsodium.php