Our shared runner will be offline for some hours. Maybe it's a good time to go outside!
Closes #112 (closed)