[PATCH 0/9] Improve docs web reference checker