Yes,that's a excellent suggestion. We already have github repo, but didn't update them in last few years. Essentially make it as public project and let the comm

Yes,that's a excellent suggestion. We already have github repo, but didn't update them in last few years. Essentially make it as public project and let the community decide. ps: we use opensource terminal emulator named 'shellinabox' EDIT: We receive quite few queries from students/professor for pointers on similar setup. This suggestion will be excellent for those cases.