I was going to propose the alias bass guitar -> bass, but have also seen a couple of double basses being tagged as bass. Technically, "bass" could also refer to bass horns, or low-pitched members of other instrument families.
Should we:
1. mark bass as ambiguous, and sort posts into bass guitar and double bass, or
2. remove double basses from bass and proceed with an alias bass guitar -> bass (or vice versa, to avoid ambiguity?)
Updated by jxh2154