Task-manager A custom task manager, suited exactly for my use. Likely not useful for anyone else. Design doc https://docs.google.com/document/d/12Le55AIVy5kXgLpP8TXOuOVSQRKG4i2kBLhmyqUOAKM/edit?usp=sharing