devmap: just some cleanup of the html