1.4.2

write on pdfs
flatten pdf ink for pdf export
export ink as pdf
snip pdf regions to png
pinch zoom on pdfs
bug report: record and send
pen and highlighter color commands
toolbar ui fixes
bug fixes