I think it should be clarified somewhere, preferably both here and plus page that/if patched no-dlc game still falls under Sonic Mania Plus. Just to avoid having to answer the same questions I can see asked again and again.