updated micronDB and jsonHTML