[modules] Slightly expand module semantics documentation.