Those who find this interesting may find my tool helpful, a color picker that only has named HTML colors: https://aavi.xyz/proj/colors