Contributors to 2018-10-27 Launching terminal in current directory