0.11.2: small improvements and bug fixes

Here is the first of two small updates announced in the previous post. It consists of numerous tweaks and fixes, most (but not all) of them related to rivers and coastlines... (more)