Comment 4 for bug 1258783

Here's a script to reproduce this. It creates 3 tabs, moves tab 3 from last to first position, and then restarts the browser. When the browser opens again, the tab 3 is in the middle.