The download web-page now contains a video presentation of our CoNEXT’20 tool paper introducing AalWiNes.