Miscellaneous

Miscellaneous stuff which can come in handy for use in (Debian) GNU/Linux.