REFACTOR: websUrlParse

make consistent with Appweb
simplify to make it easier to prove correct
CONT:

REFACTOR: websUrlParse

make consistent with Appweb
simplify to make it easier to prove correct