hideable mini map
add comment to printout

latex.js update
embed feedback link