Optional highlight missing & build duplicates. Bug fixes:

- Much safer completion in BuildInput
- undo reaction from scratch in one step
- watch for response codes when loading files in the server