Format implementation details (dev version)