I am sure there are many who are interested in taking the long side of the short. The best way to squeeze a Bitcoin short to the wall is to take delivery of the Bitcoin, and wait.

... but where to store the wallet.dat? This may be an option, https://puri.sm/products/ especially since the short would be held by non other than Bill Gates. Hardware that is especially designed for GNU / Linux running Pure OS. Pure OS is considered 100% Libre by the FSF. https://www.fsf.org/news/fsf-adds-pureos-to-list-of-endorsed-gnu-linux-distributions-1