terminal input now handled (simplistically) by BashyOS