take minimized-ness into account when sorting the focus-ordered list.
do a bigger refresh after minimizing/restoring
change to a more straight-forward method of deciding whether to show workspace OSD after activating a window
use a reddish color for the super-imposed window numbers