Ariel: Ariel v0.8.5 release

Hello everyone, First of all, we wanted to thank you for your patience. Finally, the 0.8.5 version of Ariel is here! This update took way more time than expected, but it was all worth it, for key features were implement…