Yep -- all three are meant to be covered in #885.