IRC log for #luanti-docs, 2025-03-16

Time	Nick	Message
04:00		MTDiscord joined #luanti-docs
08:22		Warr1024 joined #luanti-docs
08:47		Warr1024 joined #luanti-docs
19:52	MTDiscord	<wsor4035> merging https://github.com/luanti-org/docs.luanti.org/pull/211 in 10
19:54	MTDiscord	<mark.wiemer> Thoughts on https://github.com/luanti-org/docs.luanti.org/pull/212?
20:52	Krock	@mark.wiemer I support the idea but I don't know how it's best implemented.