btw this Wiki is not meant for a wider audience yet
This is sometimes called the '2017 wikitext editor'.