Amazing! Thank you for everyone who chipped in. Two wiki pages fixed, and I barely lifted a finger. I'll fiddle with Docker and update the wiki with my experiences for the benefit of future generations.