Document known bugs of KeilWrapper.