Note on gender-inclusive language

On this website we predominantly use the masculine grammatical form for personal designations. This serves readability alone and is expressly not intended as a judgement. People of all genders are always meant.