This directory contains tools that may be useful to users of Phan.