/dev/esc - An online escape room for developer teams