Saturday, September 12, 2015ΒΆ

Hamza stumbled (for #505) over several problems which motivated me to update some documentation pages, especially: