spec: next pseudo_imsi_timer expires
spec: write out until Insert Subscriber Data Result
spec: add cancel location req to graph
spec: elaborate on how optional this is
spec: Process Update_Location_HLR: bullet points + graph
spec: describe SIM applet
spec: minor fixes
spec: Pseudonymous IMSI Storage in the HLR
spec: use 2g example throughout the document
spec: re-organize headlines
spec: describe LU without pseudo IMSI
spec: introduction, headlines
doc: prepare for asciidoc based specification