Fixed license being sometimes lost

Editor: fixed display on a high DPI screen of number items when using a big font

Sharing: updated all used SDKs to their latest version

Video: updated FFmpeg to version 4.4.1 and libvlc to version 3.0.16

Video: restored ‘Restart’ video recording menu item

Improved commandline’s ‘video’ verb for video recording

Embedded HTML is now displayed using Microsoft Edge instead of Internet Explorer when available