Full threadthy77·I want an easier way to switch between my blue green and yellow high lighters when reading a pdf for school. Also, how about a menu button that exports highlighted selections into a markdown file?View on HN