Ref. preprocessor#86

Also make more terminology fixes in the manual (master/slave →
leader/follower), in complement to !1976.