When a page is moved, the resulting redirect is not being marked as a redirect in the database. Specifically, page_is_redirect is being set to 0.
From Toolserver's enwiki_p
mysql> SELECT page_is_redirect FROM page WHERE page_title = 'Jun_Lu' AND page_namespace = 0;
+------------------+
page_is_redirect |
+------------------+
0 | |
+------------------+
1 row in set (0.00 sec)
mysql> SELECT page_is_redirect FROM page WHERE page_title = 'Runx2' AND page_namespace = 0;
+------------------+
page_is_redirect |
+------------------+
0 | |
+------------------+
1 row in set (0.00 sec)
Both were the result of page moves. There are several others listed at [[Special:ShortPages]]. Some sort of regression.
Version: unspecified
Severity: minor