Added a document that summarizes what I have learnt while trying
bimachines.