Giacomo Leidi, thank you for the patch! Merged to the "master" branch as 269e4034fcaf55324187efffb6ed5ba14d5e9286. - avp -- Artyom "avp" Poptsov Home page: https://memory-heap.org/~avp/ CADR Hackerspace co-founder: https://cadrspace.ru/ GPG: D0C2 EAC1 3310 822D 98DE B57C E9C5 A2D9 0898 A02F