Argh somehow discarded this entire file. Well, make it build; will re-write documentation next.