update ISSTA (author-provided URLs added)
Update RE'13
Manual changes re-applied