<p>I ran into this: For a certain user with many posts,</p>

<p><code>user:4505</code><br>
<a href="https://stats.stackexchange.com/search?q=user%3A4505">https://stats.stackexchange.com/search?q=user%3A4505</a></p>

<p>search gives (16.09.2019) 812 hits. Augmenting the search with </p>

<p><code>user:4505 views:..10000</code><br>
<a href="https://stats.stackexchange.com/search?q=user%3A4505+views%3A..10000">https://stats.stackexchange.com/search?q=user%3A4505+views%3A..10000</a></p>

<p>gives none! (same with slight variants). That looks like a bug.</p>
