Based on feedback in other PR's, do we expect to cope with annotations with names like "toString"?