Popup docs don't work for some symbols

[aplavin]

For example, typing ?+= into a cell shows help for +, and not for +=. Typing ?:, surprisingly, gives help for Any instead of :. Julia REPL is correct in these cases, so looks like the issue is Pluto-specific.

[fonsp]

Try typing this directly in the Live Docs search bar. The ?query thing is only there to teach users to use the Live Docs directly instead.

[aplavin]

First, I didn't know about docs search bar at all! Now I see that the header is "editable".
But typing += there still gives me docs for +, and typing : - for Any. Something else I miss there? Screenshots:


Pluto 0.12.18 if that's important.

[aplavin]

Also, typing some fancy unicode symbol there doesn't show any help at all. In contrast, regular julia REPL prints e.g. "⇒" can be typed by \Rightarrow<tab>. So every time one wonders how to type something outside of ASCII he needs to open a separate REPL.