<br><div class="gmail_quote"><div> </div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div class="gmail_quote">serialization/restart the startupHook will get run again anyway, and
the correct workspace will get re-cached. So perhaps I can just write </div></blockquote><div><br>arg, of course I meant 'the correct *layout will get re-cached'...<br></div></div>