Text this: Picosecond-controlled switching of high-voltage gas discharge