Surprised no one has asked. Does this affect the manufacturer's income? That is, is this also a way to escape an otherwise mandatory subscription fee?

If no, I say publish it without further consideration.

If yes, there might be a DMCA claim against you and you'll want to consider that in your decision. Personally I would likely keep it to myself.