Thank you. Seems to be down, though; web dev tools indicate unable to open webso...

		kmoser 10 days ago \| parent \| context \| favorite \| on: A truck driver spent 20 years making a scale model... Thank you. Seems to be down, though; web dev tools indicate unable to open websocket to wss://progressbackend.minefact.de/socket.io/?EIO=4&transport=websocket&sid=...

		help