Comment by @rigorous • Hey

where is the undo button