The accompanies haddoc PR with GHC PR ghc!12153 (closed)
Two things have been done:
X in module X where, since we introduce the module name to HieAst,{-# LINE 4 "hypsrc-test/src/PositionPragmas.hs" #-} is added before the module PositionPragmas where in hypsrc-test/ref/src/PositionPragmas.html.
It ensures only a single hieAst for file hypsrc-test/src/PositionPragmas.hs is generated.