These comments will be much more maintainable if we just use a \@see a reference to a master version.