Ahmed Siadomar

Adds back the old Kattis UI buttons on problem pages as well as a toggle to hide the editor panel.

Automatically upload Kattis problem solutions to a GitHub repository of your choice and track your progress with this extension!