Is there an abbreviation for democraticunderground.com ? demu.gr used to work

e.g. a simple

demu.gr/12561674

would take one to Make7's Unofficial DU3 Basic HTML Reference Lookup Table

(Long form: https://www.democraticunderground.com/12561674).

But it seems that demu.gr has been taken over by some Greek company -- anyway, Google Translate says its Greek and translates to:

Discover only active coupons, promotions, discount codes and discounts to save money from your market to the best online stores and promotional sites!

Sigh.

Was nice having a short URL when texting to someone on the phone. I used it quite a lot.

ON EDIT: Here is the admin post about it, from 2012: https://upload.democraticunderground.com/10131784