Merge Mind4SE master contributions into personal master