Some more documentation improvements. Added Florian Euchner to the developers list