Update "Known bugs" section in the README