Minor lemmas about TAKE, DROP and splitAtPki.
Mention bug fixed in bba61edf in release notes.
Mention bug fixed in 730f9a26a in release notes.

Also add regression test for this bug in src/real.