Known issues

Open problems

Bugs that are still open, and the workaround when one is known.