See the the file Todo for known bugs.