Разное

Здесь разные штуки, не заслужившие отдельного раздела.