yeah, that is true. Volume is also pretty low rn, so I wonder how large of a percentage the sell pressure from miners actually is
Discussion
Miners are (overtly, recently) selling approximately 100% of production.
That is 6 * 24 * 6.25 (or 900) coins per day (or 6 * 24 * 30 * 6.25 (or 27,000) per month).
The (rough, average) trading volume for July was 12.7 million bitcoins per day.
900/12,700,000 is not much.
These back of envelope calculations may or may not be correct.