Yeah, adding comments like this is often a balancing act. Since the case of a certain being implement with another  and not an alias happens in a few more places, it's not that much an edge case as probably the case you mentioned. I remember fixing 17e1e62f42b8b8875cca935c08268028eb6b34b9, but didn't add a comment for that case either.