By: Lucien Huber <im@lcnbr.ch>
fix docs branch CI failures User prompt: Address everything, I’ll update the symbolica license