Ok, will add that (together with further documentation improvements that I'm working on right now).