Would prefer these both as example.com, since it's general documentation. Otherwise, people will be confused why you need two different domains