<%doc> Comments are unsupported in this theme.