Looking for off-the-shelf brand fanless mini pc NOT for gaming but general internet activity, watching streaming videos, some minor video editing. Will install Linux probably Ubuntu. Small form factor *not* a mini tower or similar. What are the general recommendations? Must have hdmi output...