

BUGS (of this port)
- show_console_contents is not working, needs more dev.
- International keyboard layouts have trouble with Alt-Gr+keys
- Extension file does not work.


Please report!
