Add advice to def-in-def linter docs about alternatives