manual: HTML updates in lib/db and db manual pages and README files #3932

	---
	name: Pull Request Labeler

	# This workflow will triage pull requests and apply a label based on the
	# paths that are modified in the pull request.
	#
	# To use this workflow, you will need to set up a .github/labeler.yml
	# file with configuration. For more information, see:
	# https://github.com/actions/labeler/blob/master/README.md

	on:
	- pull_request_target

	permissions: {}

	concurrency:
	group: ${{ github.workflow }}-${{ github.event_name == 'pull_request_target' && github.head_ref \|\| github.sha }}
	cancel-in-progress: true

	jobs:
	labeler:
	permissions:
	contents: read
	pull-requests: write
	runs-on: ubuntu-latest
	steps:
	- uses: actions/labeler@8558fd74291d67161a8a78ce36a881fa63b766a9 # v5.0.0
	with:
	sync-labels: false

Provide feedback