This is a quick update to fix some issues with missing icons (a problem that has been very persistent for a long time) and the dark theme.