See the the file Todo for known bugs.
