ooh, a bug report I filed seven years ago got fixed today. I no longer use the software in question and eventually decided I'd prefer different alternatives but it's nice to see the issue get closed with a fix anyway