В основном хтмл-ки выгоняются, чтобы можно было по ним без кода побегать да почитать, как, ну, документацию, а непосредственно для мест использования открывается идешка и там Ctrl+Q показывает док-комменты в попапе
Ну просто обратные линки в методы, где в комментах упомянуто это свойство -- это звучит немного странно. Свойства всё же могут упоминаться довольно произвольным образом, или не упоминаться там, где могли бы. Это всё же свободный текст. Перелинковка в обе стороны в документации обычно делается с помощью всяких @see в явном виде.