Yes, this is a clear bug. I’ve already reported it to our developers. As a temporary solution, copy-pasting should work.