A minimal web-based ACE editor integrated with remote bash