Adding from minisats-branch front-end
Setting up as a Hyde site