I find the alias feature tremendously useful and use it constantly. As per my understanding a page alias should basically act as an alternative title to the page for all linking/tagging purposes. Therefore it makes sense (to me anyway) for pages tagged with an alias to also appear in the “Pages tagged with section”.
e.g. pages tagged with “ML” (Robustness) to appear alongside pages tagged “Machine Learning” (Interpretability).
Anyone else share these feelings?