Text this: On decidability of pure hybrid logic