Workarounds
| Bug | Workaround |
|---|---|
| Firefox does not start, because a process is already running. | Delete the file "$HOME/.mozilla/firefox/*.default/.parentlock". |
| Firefox needs a long time to start. | Type in "about:config" in the address field of firefox, and change the value of "network.dns.disableIPv6" to TRUE. |


