Bugs

Please file new bugs here.
Make sure to search all bugs to see if your bug is already known! This is very important, because duplicate bugs are confusing and cost lots of time.