On 2017-03-19, at 4:03 AM, Gerald Pfeifer wrote: > It turns out both the hp.com link and the arm.com link now redirect > to marketing pages, so instead of chasing forever, I decided to take > them out. Removal of hp.com link is OK. Dave -- John David Anglin dave.anglin@bell.net