Another attempt at #24 (closed). Follow-up to !214 (merged).
added 1 commit
Compare with previous version
merged
mentioned in commit 1f9d65ed