[00:13:35] <Amir1>	 Quick poll: What naming convention we should use for virtual domains? https://phabricator.wikimedia.org/V27