(partly) Fixed traditional autocompletion.
Show Python platform_implementation in REPL toolbar.