• the format toolbar was listed twice under View > Show/Hide > Customize toolbars. This is now fixed.
  • I'm now in Lyon and am hardly waiting for Tristan to dance in pink tutu tomorrow morning during my talk.