A repository for Hartl-related work