add back links to issues from nb comments #1514

	# A workflow to check generating the HTML lists works.
	# The pages generated by this will have incorrect "Last modified" dates
	# for the issues, because there is no meta-date/dates file used here.
	# That's OK, because this is just a quick check to ensure that the XML
	# is well-formed and the lists can be generated, suitable for checking
	# pull requests are OK to merge.

	name: Validate XML and check HTML generation

	on:
	pull_request:
	branches: [ master ]
	push:
	branches: [ master ]

	jobs:
	build:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v5
	with:
	fetch-depth: 1

	- name: Compile binary programs
	run: make CXX=g++-14 pgms -j $(getconf _NPROCESSORS_ONLN)

	- name: Check for carriage returns
	run: \|
	if grep -IUrl --exclude-dir=.git . -e $'\r'; then
	echo "Sorry, carriage returns are not allowed in the repo."
	exit 1
	fi

	- name: XML validation
	run: \|
	# Skip installing man pages (makes the man-db trigger much faster)
	sudo tee /etc/dpkg/dpkg.cfg.d/01_nodoc > /dev/null << 'EOF'
	path-exclude /usr/share/man/*
	EOF
	sudo apt-get update
	sudo apt-get install -y libxml2-utils
	bin/lint.sh

	- name: Generate HTML lists
	run: make lists

Provide feedback