ISTR that strictly speaking the second bug was "Pause icon after reboot but no pause icon at all the other times that there should have been one".

Peter