misc

Miscellaneous stuff. (simple résumé)