Switch to github wiki when toollist becomes messy or is too big.