Show HN: Polar – an offline web browser with annotations and tagging