[really silly nitpicking warning]
They should drop the underscore. At the time I wrote this comment "pop" appears 21 times on this page, and only 3 of those times bother to follow it with an underscore.
The brand is Pop or Pop OS. The only thing the underscore accomplishes is communicating "this is at least a little awkward" which I hope they don't intend.