@extends should actually be a synonym for @augments in Salsa

[DanielRosenwasser]

@augments is certainly not the first thing I would try, especially since the JSDoc site says they are the same. This is important in checkJs where we need to guide users in the right direction.