Fix documented arity of <foo>-id-table-remove
Always treat top-level redefinitions as annotated

Closes PR 14144