…022.

These problems are a consequence of removing the spare widget pool.
(The pool is a workaround for a problem which arose switching from
Windows 2000 to XP and persisted until previous review a few years
ago but seems not to be a problem now: unknown what changed to fix it.)