4 ms·

Wait, does the Red gui work under linux now? According to their Roadmap it doesn't yet - but maybe it just hasn't been updated for the last half year...