5 commits

Author	SHA1	Message	Date
Stefano Pigozzi	1bc81eafd5	📔 Add Discord to the tools	2021-05-29 02:54:51 +02:00
Stefano Pigozzi	0fd7c6c194	📔 Improve typesetting in the goals page	2021-05-29 02:48:22 +02:00
Stefano Pigozzi	6c45ff0528	📔 Improve goals.rst	2021-05-29 02:32:50 +02:00
Stefano Pigozzi	546844b271	📔 Update stuff	2021-05-28 18:31:33 +02:00
Stefano Pigozzi	730ccb8c36	📔 Add missing docs	2021-05-28 14:28:36 +02:00