kylewmtantek: I actually do step 11 the opposite way. if content ⊆ name, (and just contained in, not necessarily the prefix) with the idea that name will either the be == the plaintext equivalent of content, or it was auto-generated and will be the content + all the other stuff around it
