Symbolic links do not seem to show up in the tools/ports menu, though that might be a fixable "bug"...
Sigh. It looks like this "decision" is buried down in standard Java classes (CommPortIdentifier.getPortIdentifiers) rather than in the Arduino application itself...