html-entities: Add `encode everything` checkbox