In the implementation of PathAlgebra, the code setting IsAdmissibleQuotientOfPathAlgebra is commented out, and has been so since commit 7d7dcb93322f1daac8206a8c6743d52135b1aa48. Why?
