minor
minor
Included `JSON` and `JavaScript` for `AddFileBox`; had to introduce `MIME.flag` with `text` (and `image`) for MIME which do not start with `text/..` (or `image/..`)