Bug fix in (and test of) Notification.Broadcast

- Off-by-one error in URL parsing.
- Test of `procedure Notification.Broadcast` (comparing with output from `curl`).