🚀 This server has been upgraded to GitLab release 16.11. 🚀
Also, add some notes about dynamic lookup esp. wrt. freeing of resources to develdoc.txt.