patch 9.0.1844: doc helptags may not be up to date Commit: https://github.com/vim/vim/commit/8b202031412a5de43a9c8257118ff99a018afabf Author: Yee Cheng Chin <ychin.git@gmail.com> Date: Sat Sep 2 16:03:04 2023 +0200 patch 9.0.1844: doc helptags may not be up to date Problem: doc helptags may not be up to date Solution: Add CI jobs to verify helptags are updated Also, re-generate the tags file with updated list so it will pass CI. closes: #13012 Signed-off-by: Christian Brabandt <cb@256bit.org>