[dist] export icons of all sizes
[dist] move realnumber logo to this repo, add default black favicon
presentation slides