Sure, but we should merge #720 because that link is otherwise a bit useless :)