I just realized--won't this share marks across buffers? That's not the right behavior, is it? You can just hang them off of `@` to make them be per-buffer.