Provide a workaround for input issues with some keyboards. Issue #686. Fix linter errors. Issue #1670. Always flush terminal output before closing session. Issue #1695. Fix permission description for RUN_COMMAND intent. Issue #1713. Updated bootstrap archives.