PureScript 0.14.2 update: a slight problem with Docker image

PureScript is a great language, and I can't find words good enough, to say "thank you" for all those, who made it (and all its tools) available for us. Ladies and gentlemen, you have been doing a great job! Recently, a new version of PureScript, came...