@matthijs that's not possible because HTML/Javascript is opaque "data" and one cannot replace things without understanding what the data is.
For example, the HTML could say "Your IP is NOT xxxxx" or "Your friend is at IP yyyy" or just about anything else. There is no way to reliably replace HTML (other than the app itself).
