Thread:Nightlily/@comment-10663213-20180501022631/@comment-91424-20180501123333

Personally, I think that is a good solution, at least temporarily. If you can convince a sufficient number of other users as well, we could begin the merge.