doc: minor clean-up
doc: minor clean-up

Signed-off-by: Sven Verdoolaege <e5350bbed4977f5eb8ae1dc6abd9ae59d21ace75@kotnet.org>

jleben/isl,pierrotdelalune/isl,inducer/isl-mirror,BenzoSM/isl,tobig/isl,BobSaget-Mod/libisl,PollyLabs/isl,tobig/isl,jleben/isl,VanirLLVM/toolchain_isl,Meinersbur/isl,SaberMod/isl-current,crossbuild/isl,BobSaget-Mod/libisl,tobig/isl,Distrotech/isl,PollyLabs/isl,simbuerg/isl,epowers/isl,BenzoSM/isl,cfx-next/toolchain_isl-upstream,BobSaget-Mod/libisl,nicolasvasilache/isl,KangDroidSMProject/ISL,abduld/isl,inducer/isl-mirror,cfx-next/toolchain_isl-upstream,simbuerg/isl,serge-sans-paille/isl,Distrotech/isl,PollyLabs/isl,cfx-next/toolchain_isl-upstream,abduld/isl,Meinersbur/isl,Distrotech/isl,abduld/isl,Meinersbur/isl,jleben/isl,evaautomation/isl,epowers/isl,abduld/isl,evaautomation/isl,tobig/isl,serge-sans-paille/isl,inducer/isl-mirror,UBERTC/isl,nicolasvasilache/isl,epowers/isl,evaautomation/isl,Distrotech/isl,simbuerg/isl,UBERTC/isl,serge-sans-paille/isl,epowers/isl,VanirLLVM/toolchain_isl,BenzoSM/isl,KangDroidSMProject/ISL,BobSaget-Mod/libisl,VanirLLVM/toolchain_isl,pierrotdelalune/isl,crossbuild/isl,pierrotdelalune/isl,Distrotech/isl,UBERTC/isl,UBERTC/isl,simbuerg/isl,PollyLabs/isl,PollyLabs/isl,Meinersbur/isl,jleben/isl,VanirLLVM/toolchain_isl,SaberMod/isl-current,BobSaget-Mod/libisl,serge-sans-paille/isl,BenzoSM/isl,cfx-next/toolchain_isl-upstream,pierrotdelalune/isl,KangDroidSMProject/ISL,SaberMod/isl-current,crossbuild/isl,VanirLLVM/toolchain_isl,nicolasvasilache/isl,serge-sans-paille/isl,epowers/isl,jleben/isl,BenzoSM/isl,KangDroidSMProject/ISL,pierrotdelalune/isl,nicolasvasilache/isl,inducer/isl-mirror,inducer/isl-mirror,crossbuild/isl,simbuerg/isl,cfx-next/toolchain_isl-upstream,evaautomation/isl,nicolasvasilache/isl,SaberMod/isl-current,KangDroidSMProject/ISL