[PD] Availability of ELSE v.1.0-0_rc8 external for Raspberry Pi 400 (ARM)

[Linux Rouen Normandie]

I just updated Pure Data Vanilla from v.0.53.1 to the latest v.0.54.0 by 
compiling its source code and then installing it on my Raspberry Pi 400 
(ARM) under Raspberry Pi OS 11 32-bit (Bullseye). Everything went well.

Unfortunately the ELSE external for 'Linux-armv6-32/Linux-armv7-32' 
available through Deken is still at v.1.0-0_rc6 (2023-05-12) and not at 
the latest v.1.0-0_rc8 (2023-05-16).

Does anyone know where I could find the Else v.1.0-0_rc8 ready to use 
for RPi OS 11 32-bit?

Thanks.
Joseph Gastelais